Class KRelation

java.lang.Object
com.artelys.kalis.KRelation
Direct Known Subclasses:
KLinRel

public class KRelation extends Object
A relation term between an expression and constants.
  • Field Details

    • swigCMemOwn

      protected transient boolean swigCMemOwn
  • Constructor Details

    • KRelation

      protected KRelation(long cPtr, boolean cMemoryOwn)
  • Method Details

    • getCPtr

      protected static long getCPtr(KRelation obj)
    • finalize

      protected void finalize()
      Overrides:
      finalize in class 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()