org.btrplace.btrpsl.constraint.migration

Class BeforeBuilder

java.lang.Object

org.btrplace.btrpsl.constraint.DefaultSatConstraintBuilder

org.btrplace.btrpsl.constraint.migration.BeforeBuilder

All Implemented Interfaces:

SatConstraintBuilder

public class BeforeBuilder
extends DefaultSatConstraintBuilder

A builder for either Precedence or Deadline constraints.

Author:

Vincent Kherbache

Field Summary

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

params

Constructor Summary

Constructors

Constructor and Description
BeforeBuilder() Make a new builder.

Method Summary

Modifier and Type	Method and Description
List<? extends SatConstraint>	buildConstraint(BtrPlaceTree t, List<BtrpOperand> args) Build a precedence 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

BeforeBuilder

public BeforeBuilder()

Make a new builder. The parameter can be a list of VM or a string.

Method Detail

buildConstraint

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

Build a precedence constraint.

Parameters:

t - the current tree

args - can be a non-empty set of vms (Precedence constraint) or a timestamp string (Deadline constraint)

Returns:

a constraint