org.btrplace.btrpsl.constraint

Interface SatConstraintBuilder

All Known Implementing Classes:

AmongBuilder, BanBuilder, BeforeBuilder, DefaultSatConstraintBuilder, FenceBuilder, GatherBuilder, KilledBuilder, LonelyBuilder, MaxOnlineBuilder, NoDelayBuilder, OfflineBuilder, OnlineBuilder, OverbookBuilder, PreserveBuilder, QuarantineBuilder, ReadyBuilder, ResourceCapacityBuilder, RootBuilder, RunningBuilder, RunningCapacityBuilder, SeqBuilder, SerializeBuilder, SleepingBuilder, SplitAmongBuilder, SplitBuilder, SpreadBuilder, SyncBuilder

public interface SatConstraintBuilder

An interface to specify a generic PlacementConstraint builder.

Author:

Fabien Hermenier

Method Summary

Modifier and Type	Method and Description
List<? extends SatConstraint>	buildConstraint(BtrPlaceTree t, List<BtrpOperand> params) Build the constraint
String	getFullSignature() Get the full signature of the constraint, including the parameter name.
String	getIdentifier() Get the identifier of the constraint.
ConstraintParam<?>[]	getParameters() Get the constraint parameters.
String	getSignature() Get the signature of the constraint.

Method Detail

getIdentifier

String getIdentifier()

Get the identifier of the constraint.

Returns:

a string

getSignature

String getSignature()

Get the signature of the constraint.

Returns:

a string

getFullSignature

String getFullSignature()

Get the full signature of the constraint, including the parameter name.

Returns:

a string

getParameters

ConstraintParam<?>[] getParameters()

Get the constraint parameters.

Returns:

a non-empty array.

buildConstraint

List<? extends SatConstraint> buildConstraint(BtrPlaceTree t,
                                              List<BtrpOperand> params)

Build the constraint

Parameters:

t - the current token.

params - the parameters of the constraint.

Returns:

the constraint