parser.absconparseur.components
Class PIntensionConstraint
java.lang.Object
parser.absconparseur.components.PConstraint
parser.absconparseur.components.PIntensionConstraint
public class PIntensionConstraint
- extends PConstraint
PIntensionConstraint
public PIntensionConstraint(String name,
PVariable[] scope,
PFunction function,
String effectiveParametersExpression)
getFunction
public PFunction getFunction()
getUniversalPostfixExpression
public String[] getUniversalPostfixExpression()
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
isGuaranteedToBeDivisionByZeroFree
public boolean isGuaranteedToBeDivisionByZeroFree()
- Overrides:
isGuaranteedToBeDivisionByZeroFree
in class PConstraint
isGuaranteedToBeOverflowFree
public boolean isGuaranteedToBeOverflowFree()
- Overrides:
isGuaranteedToBeOverflowFree
in class PConstraint
Copyright © 2012. All Rights Reserved.