Class KUnTerm

java.lang.Object
com.artelys.kalis.KTerm
com.artelys.kalis.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
  • Field Summary

    Fields inherited from class com.artelys.kalis.KTerm

    swigCMemOwn
  • Constructor Summary

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

    Modifier and Type
    Method
    Description
    void
     
    protected void
     
    protected static long
    getCPtr​(KUnTerm obj)
     
    boolean
    return true if the sign of the first variable is positive
    return a pointer to the first 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

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

    • 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