Class KRelation

  • Direct Known Subclasses:

    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

      Modifier and Type Field Description
      protected boolean swigCMemOwn  
    • Constructor Summary

      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()
        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).

        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.

        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 ?

        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()