Package com.artelys.kalis

Class 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

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
        KBinTerm()
      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

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void delete()  
      protected void finalize()  
      protected static long getCPtr​(KBinTerm obj)  
      boolean getSign1()
      return true if the sign of the first variable is positive
      boolean getSign2()
      return true if the sign of the second variable is positive
      KNumVar getV1()
      return a pointer to the first variable
      KNumVar getV2()
      return a pointer to the second variable
      void print()
      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 java.lang.Object

        clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • 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 Detail

      • 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