Class KNumXEqualsAbsY

java.lang.Object
com.artelys.kalis.KConstraint
com.artelys.kalis.KNumXEqualsAbsY

public class KNumXEqualsAbsY extends KConstraint
This class creates a `X = |Y|` constraint

Example :

KNumVar X(...);
KNumVar Y(...);
// ...
problem.post(KNumXEqualsAbsY(X, Y));


Since:
2016.1
See Also:
KConstraint

  • Constructor Details

    • KNumXEqualsAbsY

      protected KNumXEqualsAbsY(long cPtr, boolean cMemoryOwn)
    • KNumXEqualsAbsY

      public KNumXEqualsAbsY(KNumVar v1, KNumVar v2)
      Primary constructor of v1 = ln( v2 )

      Parameters:
      v1 - the v1 variable
      v2 - the v2 variable
    • KNumXEqualsAbsY

      public KNumXEqualsAbsY(KNumXEqualsAbsY toCopy)
  • Method Details