Package com.artelys.kalis

Class KRelation

  • Direct Known Subclasses:
    KLinRel
    public class KRelation
extends java.lang.Object
    A relation term between an expression and constants.

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  KRelation.Comparator  

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected boolean swigCMemOwn  

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected KRelation​(long cPtr, boolean cMemoryOwn)  

    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn

    • Constructor Detail

      • KRelation

        protected KRelation​(long cPtr,
                    boolean cMemoryOwn)

    • Method Detail

      • getCPtr

        protected static long getCPtr​(KRelation obj)

      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object

      • delete

        public void delete()

      • add

        public void add​(KRelation relation)
        Add all the terms of the given relation (no reduction).

        Parameters:
        relation - the relation to add

      • assign

        public void assign​(KRelation relation)

      • mult

        public void mult​(KRelation relation,
                 double real)

      • setComparator

        public void setComparator​(int cmp)
        Set comparator based on argument and discards the bounds that are no longer relevant.

        Parameters:
        cmp - comparator to be applied in the linar relation

      • print

        public void print()
        Pretty-print the equation.

      • print

        public void print​(com.artelys.kalis.SWIGTYPE_p_void ctx,
                  com.artelys.kalis.SWIGTYPE_p_f_p_void_p_q_const__char__int pfp)

      • isSatisfied

        public boolean isSatisfied​(KHybridSolution sol)
        Is the linear relation satisfied for this instantiation ?

        Parameters:
        sol - hybrid solution to check

      • getInternalPtr

        public com.artelys.kalis.SWIGTYPE_p_KRelation_I getInternalPtr()

      • setConstant

        public void setConstant​(double arg0)

      • setLB

        public void setLB​(double arg0)

      • setUB

        public void setUB​(double arg0)

      • getConstant

        public double getConstant()

      • getComparator

        public int getComparator()

      • clear

        public void clear()