Class KConstraint

    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn
    • Constructor Detail

      • KConstraint

        protected KConstraint​(long cPtr,
                              boolean cMemoryOwn)
      • KConstraint

        public KConstraint()
      • KConstraint

        public KConstraint​(KProblem problem)
      • KConstraint

        public KConstraint​(KConstraint toCopy)
    • Method Detail

      • getCPtr

        protected static long getCPtr​(KConstraint obj)
      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object
      • delete

        public void delete()
      • getInstance

        public KConstraint getInstance​(long pb)
      • getProblem

        public KProblem getProblem()
      • print

        public void print()
      • 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)
      • getTypeInfo

        public int getTypeInfo()
      • setName

        public void setName​(java.lang.String arg0)
      • getName

        public java.lang.String getName()
      • getArity

        public int getArity()
      • getTag

        public int getTag()
      • setTag

        public void setTag​(int _tag)
      • getPriority

        public int getPriority()
      • setPriority

        public void setPriority​(int priorite)
      • isGetLinearRelaxationImplemented

        public boolean isGetLinearRelaxationImplemented()
      • getLinearRelaxation

        public KLinearRelaxation getLinearRelaxation​(int strategy)
      • askIfEntailed

        public int askIfEntailed()