org.btrplace.btrpsl.constraint

Class DefaultSatConstraintBuilder

java.lang.Object

org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

All Implemented Interfaces:

SatConstraintBuilder

Direct Known Subclasses:

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

public abstract class DefaultSatConstraintBuilder
extends Object
implements SatConstraintBuilder

A toolkit class to ease the implementation of SatConstraintBuilder.

Author:

Fabien Hermenier

Field Summary

Fields

Modifier and Type	Field and Description
protected ConstraintParam<?>[]	params The constraint parameters.

Constructor Summary

Constructors

Constructor and Description
DefaultSatConstraintBuilder(String n, ConstraintParam<?>[] ps) Make a new builder.

Method Summary

Modifier and Type	Method and Description
boolean	checkConformance(BtrPlaceTree t, List<BtrpOperand> ops) Check if the provided parameters match the constraint signature
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.

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.btrplace.btrpsl.constraint.SatConstraintBuilder

buildConstraint

Field Detail

params

protected final ConstraintParam<?>[] params

The constraint parameters.

Constructor Detail

DefaultSatConstraintBuilder

public DefaultSatConstraintBuilder(String n,
                                   ConstraintParam<?>[] ps)

Make a new builder.

Parameters:

n - the constraint name

ps - the expected parameters

Method Detail

getParameters

public ConstraintParam<?>[] getParameters()

Description copied from interface: SatConstraintBuilder

Get the constraint parameters.

Specified by:

getParameters in interface SatConstraintBuilder

Returns:

a non-empty array.

getIdentifier

public String getIdentifier()

Description copied from interface: SatConstraintBuilder

Get the identifier of the constraint.

Specified by:

getIdentifier in interface SatConstraintBuilder

Returns:

a string

getSignature

public String getSignature()

Description copied from interface: SatConstraintBuilder

Get the signature of the constraint.

Specified by:

getSignature in interface SatConstraintBuilder

Returns:

a string

getFullSignature

public String getFullSignature()

Description copied from interface: SatConstraintBuilder

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

Specified by:

getFullSignature in interface SatConstraintBuilder

Returns:

a string

checkConformance

public boolean checkConformance(BtrPlaceTree t,
                                List<BtrpOperand> ops)

Check if the provided parameters match the constraint signature

Parameters:

t - the constraint token

ops - the constraint arguments

Returns:

true iff the arguments match the constraint signature