parser.absconparseur.components
Class PExtensionConstraint

java.lang.Object
  extended by parser.absconparseur.components.PConstraint
      extended by parser.absconparseur.components.PExtensionConstraint

public class PExtensionConstraint
extends PConstraint


Field Summary
protected  ModelConstraintFactory.ConstExp intensionCts
          The Relation might have been identified as a known intensional constraint such as >, =, < , >=
 
Fields inherited from class parser.absconparseur.components.PConstraint
chocoCstr, LOGGER, name, scope
 
Constructor Summary
PExtensionConstraint(String name, PVariable[] scope, PRelation relation)
           
 
Method Summary
 long computeCostOf(int[] tuple)
          For CSP, returns 0 is the constraint is satified and 1 if the constraint is violated.
 ModelConstraintFactory.ConstExp getIntensionCts()
           
 int getMaximalCost()
           
 PRelation getRelation()
           
 void setIntensionCts(ModelConstraintFactory.ConstExp intensionCts)
           
 String toString()
           
 
Methods inherited from class parser.absconparseur.components.PConstraint
getArity, getChocoCstr, getName, getPositionInScope, getScope, hashCode, isGuaranteedToBeDivisionByZeroFree, isGuaranteedToBeOverflowFree, setChocoCstr
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

intensionCts

protected ModelConstraintFactory.ConstExp intensionCts
The Relation might have been identified as a known intensional constraint such as >, =, < , >=

Constructor Detail

PExtensionConstraint

public PExtensionConstraint(String name,
                            PVariable[] scope,
                            PRelation relation)
Method Detail

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.