Package com.artelys.kalis

Class KUnTerm

  • public class KUnTerm
extends KTerm
    This class represent an expression of the form X + cste where X is a variable
    and cste , an integer constant

    Since:
    2016.1
    See Also:
    KLinTerm

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
        KUnTerm()
      Default constructor
      protected KUnTerm​(long cPtr, boolean cMemoryOwn)  
        KUnTerm​(KNumVar v1, boolean sign1, double cste)
      Primary constructor
        KUnTerm​(KUnTerm unTermToCopy)
      Copy 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​(KUnTerm obj)  
      boolean getSign1()
      return true if the sign of the first variable is positive
      KNumVar getV1()
      return a pointer to the first 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

      • KUnTerm

        protected KUnTerm​(long cPtr,
                  boolean cMemoryOwn)

      • KUnTerm

        public KUnTerm()
        Default constructor

      • KUnTerm

        public KUnTerm​(KNumVar v1,
               boolean sign1,
               double cste)
        Primary constructor

      • KUnTerm

        public KUnTerm​(KUnTerm unTermToCopy)
        Copy constructor

    • Method Detail

      • getCPtr

        protected static long getCPtr​(KUnTerm 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

      • getV1

        public KNumVar getV1()
        return a pointer to the first 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