parser.absconparseur.components
Class PExtensionConstraint
java.lang.Object
parser.absconparseur.components.PConstraint
parser.absconparseur.components.PExtensionConstraint
public class PExtensionConstraint
- extends PConstraint
intensionCts
protected ModelConstraintFactory.ConstExp intensionCts
- The Relation might have been identified as a
known intensional constraint such as >, =, < , >=
PExtensionConstraint
public PExtensionConstraint(String name,
PVariable[] scope,
PRelation relation)
getIntensionCts
public ModelConstraintFactory.ConstExp getIntensionCts()
setIntensionCts
public void setIntensionCts(ModelConstraintFactory.ConstExp intensionCts)
getRelation
public PRelation getRelation()
getMaximalCost
public int getMaximalCost()
- Overrides:
getMaximalCost
in class PConstraint
computeCostOf
public long computeCostOf(int[] tuple)
- Description copied from class:
PConstraint
- For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
For WCSP, returns the cost for the given tuple.
- Specified by:
computeCostOf
in class PConstraint
toString
public String toString()
- Overrides:
toString
in class PConstraint
Copyright © 2012. All Rights Reserved.