Package org.btrplace.btrpsl.constraint

Class OfflineBuilder

java.lang.Object

org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

org.btrplace.btrpsl.constraint.OfflineBuilder

All Implemented Interfaces:

SatConstraintBuilder

public class OfflineBuilder
extends DefaultSatConstraintBuilder

A builder for Offline constraints.

Author:

Fabien Hermenier

Field Summary

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

params

Constructor Summary

Constructors

Constructor	Description
OfflineBuilder()	Make a new builder.

Method Summary

Modifier and Type	Method	Description
List<Offline>	buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build an online 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 Details

OfflineBuilder

public OfflineBuilder()

Make a new builder.

Method Details

buildConstraint

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

Build an online constraint.

Parameters:

args - must be 1 scriptset of node. The set must not be empty

t - the current token.

Returns:

a constraint