Package org.btrplace.btrpsl.constraint
Class RootBuilder
java.lang.Object
org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder
org.btrplace.btrpsl.constraint.RootBuilder
- All Implemented Interfaces:
SatConstraintBuilder
public class RootBuilder extends DefaultSatConstraintBuilder
A Builder for
Root
constraints.- Author:
- Fabien Hermenier
-
Field Summary
-
Constructor Summary
Constructors Constructor Description RootBuilder()
Make a new builder. -
Method Summary
Modifier and Type Method Description List<? extends SatConstraint>
buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
Build the constraintMethods inherited from class org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder
checkConformance, getFullSignature, getIdentifier, getParameters, getSignature
-
Constructor Details
-
RootBuilder
public RootBuilder()Make a new builder.
-
-
Method Details
-
buildConstraint
Description copied from interface:SatConstraintBuilder
Build the constraint- Parameters:
t
- the current token.args
- the parameters of the constraint.- Returns:
- the constraint
-