org.btrplace.btrpsl.constraint

Class FenceBuilder

java.lang.Object

org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

org.btrplace.btrpsl.constraint.FenceBuilder

All Implemented Interfaces:

SatConstraintBuilder

public class FenceBuilder
extends DefaultSatConstraintBuilder

A builder to for Fence constraints.

Author:

Fabien Hermenier

Field Summary

Fields inherited from class org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

params

Constructor Summary

Constructors

Constructor and Description
FenceBuilder() Make a new builder.

Method Summary

Modifier and Type	Method and Description
List<Fence>	buildConstraint(BtrPlaceTree t, List<BtrpOperand> args) Build a constraint.

Methods inherited from class org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

checkConformance, getFullSignature, getIdentifier, getParameters, getSignature

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FenceBuilder

public FenceBuilder()

Make a new builder.

Method Detail

buildConstraint

public List<Fence> buildConstraint(BtrPlaceTree t,
                                   List<BtrpOperand> args)

Build a constraint.

Parameters:

args - the parameters to use. Must be 2 non-empty set. One of virtual machines and one of nodes.

t - the current token.

Returns:

a constraint