Class KBinTerm

java.lang.Object
com.artelys.kalis.KTerm
com.artelys.kalis.KBinTerm

public class KBinTerm extends KTerm
This class represent an expression of the form X (+ , -) Y + cste where X and
Y are variables and cste an integer constant.

Since:
2016.1
See Also:
KLinTerm
  • Field Summary

    Fields inherited from class com.artelys.kalis.KTerm

    swigCMemOwn
  • Constructor Summary

    Constructors
    Modifier
    Constructor
    Description
     
    Default Constructor
    protected
    KBinTerm​(long cPtr, boolean cMemoryOwn)
     
     
    KBinTerm​(KBinTerm binTermToCopy)
    Copy constructor
     
    KBinTerm​(KNumVar v1, boolean sign1, KNumVar v2, boolean sign2, double cste)
    Primary constructor
  • Method Summary

    Modifier and Type
    Method
    Description
    void
     
    protected void
     
    protected static long
    getCPtr​(KBinTerm obj)
     
    boolean
    return true if the sign of the first variable is positive
    boolean
    return true if the sign of the second variable is positive
    return a pointer to the first variable
    return a pointer to the second variable
    void
    pretty print method
    void
    print​(com.artelys.kalis.SWIGTYPE_p_std__ostream fout)
    pretty print method
    void
    print​(com.artelys.kalis.SWIGTYPE_p_void ctx, com.artelys.kalis.SWIGTYPE_p_f_p_void_p_q_const__char__int pfp)
     

    Methods inherited from class com.artelys.kalis.KTerm

    getCPtr, getCste, setCste

    Methods inherited from class java.lang.Object

    clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
  • Constructor Details

    • KBinTerm

      protected KBinTerm(long cPtr, boolean cMemoryOwn)
    • KBinTerm

      public KBinTerm()
      Default Constructor
    • KBinTerm

      public KBinTerm(KNumVar v1, boolean sign1, KNumVar v2, boolean sign2, double cste)
      Primary constructor
      Parameters:
      v1 - the first variable
      sign1 - sign of v1
      v2 - the second variable
      sign2 - sign of v2
      cste - the constant
    • KBinTerm

      public KBinTerm(KBinTerm binTermToCopy)
      Copy constructor
  • Method Details

    • getCPtr

      protected static long getCPtr(KBinTerm obj)
    • finalize

      protected void finalize()
      Overrides:
      finalize in class KTerm
    • delete

      public void delete()
      Overrides:
      delete in class KTerm
    • getSign1

      public boolean getSign1()
      return true if the sign of the first variable is positive
    • getSign2

      public boolean getSign2()
      return true if the sign of the second variable is positive
    • getV1

      public KNumVar getV1()
      return a pointer to the first variable
    • getV2

      public KNumVar getV2()
      return a pointer to the second variable
    • print

      public void print(com.artelys.kalis.SWIGTYPE_p_std__ostream fout)
      pretty print method
    • print

      public void print()
      Description copied from class: KTerm
      pretty print method
      Overrides:
      print in class KTerm
    • 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)
      Overrides:
      print in class KTerm