public class Offline extends SatConstraint
Constructor and Description |
---|
Offline(Node n)
Make a new discrete constraint.
|
Offline(Node n,
boolean continuous)
Make a new constraint.
|
Modifier and Type | Method and Description |
---|---|
SatConstraintChecker<Offline> |
getChecker()
Get the validator used to check if a plan satisfies the constraint.
|
static List<Offline> |
newOffline(Collection<Node> nodes)
Instantiate discrete constraints for a collection of nodes.
|
String |
toString() |
equals, getInvolvedNodes, getInvolvedVMs, hashCode, isContinuous, isSatisfied, isSatisfied, restrictionToString, setContinuous
public Offline(Node n)
n
- the node to set offlinepublic Offline(Node n, boolean continuous)
n
- the node to set offlinecontinuous
- true
for a continuous restrictionpublic static List<Offline> newOffline(Collection<Node> nodes)
nodes
- the nodes to integratepublic SatConstraintChecker<Offline> getChecker()
SatConstraint
getChecker
in class SatConstraint
SatConstraintChecker
Copyright © 2015 University of Nice-Sophia Antipolis. All Rights Reserved.