Uses of Interface
org.btrplace.model.constraint.SatConstraint

Packages that use SatConstraint

Package	Description
org.btrplace.btrpsl	Main package to parse btrpsl scripts and integrate them to a model.
org.btrplace.btrpsl.constraint	This package contains the catalog of placement constraints and the builder to instantiate them.
org.btrplace.btrpsl.constraint.migration	Constraints related to migration control.
org.btrplace.examples	Tutorials.
org.btrplace.json.model.constraint	Converters for the constraints.
org.btrplace.model	Core package of btrplace that allow to describe a data centre model that is composed of a consistent view of an infrastructure, and some constraint that should be satisfied
org.btrplace.model.constraint	Concrete implementation of SatConstraint.
org.btrplace.model.constraint.migration	Constraints related to migration management.
org.btrplace.plan	Basic API to specify a ReconfigurationPlan.
org.btrplace.safeplace.spec
org.btrplace.safeplace.testing
org.btrplace.safeplace.testing.verification.btrplace
org.btrplace.scheduler	API to define a Scheduler.
org.btrplace.scheduler.choco	Choco implementation of a Scheduler.

Uses of SatConstraint in org.btrplace.btrpsl

Methods in org.btrplace.btrpsl that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
Set<SatConstraint>	Script.getConstraints()	Get the constraints declared in the script.

Methods in org.btrplace.btrpsl with parameters of type SatConstraint

Modifier and Type	Method	Description
boolean	Script.addConstraint(SatConstraint c)	Add a constraint to a script.

Uses of SatConstraint in org.btrplace.btrpsl.constraint

Methods in org.btrplace.btrpsl.constraint that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
List<? extends SatConstraint>	AmongBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build a constraint.
List<? extends SatConstraint>	PreserveBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<? extends SatConstraint>	QuarantineBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<SatConstraint>	ReadyBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build an online constraint.
List<? extends SatConstraint>	ResourceCapacityBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<? extends SatConstraint>	RootBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<? extends SatConstraint>	RunningBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build an online constraint.
List<? extends SatConstraint>	RunningCapacityBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<? extends SatConstraint>	SatConstraintBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> params)	Build the constraint
List<? extends SatConstraint>	SeqBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)
List<? extends SatConstraint>	SleepingBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build an online constraint.
List<? extends SatConstraint>	SplitAmongBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build a constraint.
List<? extends SatConstraint>	SplitBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build a constraint.

Uses of SatConstraint in org.btrplace.btrpsl.constraint.migration

Methods in org.btrplace.btrpsl.constraint.migration that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
List<? extends SatConstraint>	BeforeBuilder.buildConstraint(BtrPlaceTree t, List<BtrpOperand> args)	Build a precedence constraint.

Uses of SatConstraint in org.btrplace.examples

Methods in org.btrplace.examples that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
List<SatConstraint>	GettingStarted.makeConstraints()	Declare some constraints.

Uses of SatConstraint in org.btrplace.json.model.constraint

Methods in org.btrplace.json.model.constraint that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
List<SatConstraint>	ConstraintsConverter.listFromJSON(Model mo, net.minidev.json.JSONArray in)	Convert a list of json-encoded sat-constraints.

Method parameters in org.btrplace.json.model.constraint with type arguments of type SatConstraint

Modifier and Type	Method	Description
net.minidev.json.JSONArray	ConstraintsConverter.toJSON(Collection<SatConstraint> e)	Serialise a list of sat-constraints.

Uses of SatConstraint in org.btrplace.model

Methods in org.btrplace.model that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
Collection<SatConstraint>	Instance.getSatConstraints()	Get the declared constraints.

Constructor parameters in org.btrplace.model with type arguments of type SatConstraint

Constructor	Description
Instance(Model m, Collection<? extends SatConstraint> cs, OptConstraint o)	Make a new instance.

Uses of SatConstraint in org.btrplace.model.constraint

Classes in org.btrplace.model.constraint with type parameters of type SatConstraint

Modifier and Type	Class	Description
class	AllowAllConstraintChecker<C extends SatConstraint>	A default constraint checker that allow every action and event.
class	DenyMyVMsActions<C extends SatConstraint>	Basic checker that allow everything except all the actions on my VMs.
interface	SatConstraintChecker<C extends SatConstraint>	Check if a constraint is satisfied by a reconfiguration plan.

Classes in org.btrplace.model.constraint that implement SatConstraint

Modifier and Type	Class	Description
class	Among	A constraint to force a set of VMs to be hosted on a single group of nodes among those available.
class	Ban	A constraint to disallow the given VM, when running, to be hosted on a given set of nodes.
class	Fence	A constraint to force the given VM, when running, to be hosted on a given group of nodes.
class	Gather	A constraint to force a set of VMs, if running, to be hosted on the same node.
class	Killed	A constraint to force a VM to be killed.
class	Lonely	A constraint to force all the given VMs, when running, to not share their host with other VMs.
class	MaxOnline	A constraint to force a set of nodes to have a maximum number of nodes to be online.
class	NoDelay	A constraint to force VMs' actions to be executed at the beginning (time t=0), without any delay.
class	Offline	A constraint to force a node at being offline.
class	Online	A constraint to force a node at being online.
class	Overbook	A constraint to specify and overbooking factor between the physical resources offered by a node and the virtual resources that are consumed by the VMs it hosts.
class	Preserve	Ensure the allocation of a given minimum amount of resources for the given VM.
class	Quarantine	A constraint to put a node into quarantine.
class	Ready	A constraint to force a VM at being ready for running.
class	ResourceCapacity	Restrict the total amount of virtual resources consumed by the VMs hosted on the given nodes.
class	Root	A constraint to avoid VM relocation to another host.
class	Running	A constraint to force a VM at being running.
class	RunningCapacity	Restrict to a given value, the total amount of VMs running on the given set of nodes.
class	Seq	A constraint to force the actions that change the given VMs state to be executed in the given order.
class	SimpleConstraint	A skeleton for a constraint that can be either discrete or continuous.
class	Sleeping	A constraint to force a VM at being sleeping.
class	Split	A constraint to force several sets of VMs to not share any node when they are running.
class	SplitAmong	A constraint to force sets of running VMs to be hosted on distinct set of nodes.
class	Spread	A constraint to force that the given VMs, if running, to be hosted on distinct nodes.

Methods in org.btrplace.model.constraint that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
SatConstraintChecker<? extends SatConstraint>	SatConstraint.getChecker()	Get the validator used to check if a plan satisfies the constraint.

Uses of SatConstraint in org.btrplace.model.constraint.migration

Classes in org.btrplace.model.constraint.migration that implement SatConstraint

Modifier and Type	Class	Description
class	Deadline	A constraint to force the maximum end time of a migration by an absolute or relative deadline in the form of a timestamp.
class	Precedence	A constraint to force one or more VMs to migrate before one or more other VMs.
class	Serialize	A constraint to ensure no overlapping between a set of migrations.
class	Sync	A constraint to force some vms migration to terminate or begin (depending of the migration algorithm) at the same time.

Uses of SatConstraint in org.btrplace.plan

Methods in org.btrplace.plan that return SatConstraint

Modifier and Type	Method	Description
SatConstraint	SatConstraintViolationException.getConstraint()	Get the violated constraint
SatConstraint	ReconfigurationPlanChecker.visit(Allocate a)
SatConstraint	ReconfigurationPlanChecker.visit(BootNode a)
SatConstraint	ReconfigurationPlanChecker.visit(BootVM a)
SatConstraint	ReconfigurationPlanChecker.visit(ForgeVM a)
SatConstraint	ReconfigurationPlanChecker.visit(KillVM a)
SatConstraint	ReconfigurationPlanChecker.visit(MigrateVM a)
SatConstraint	ReconfigurationPlanChecker.visit(SubstitutedVMEvent a)

Constructors in org.btrplace.plan with parameters of type SatConstraint

Constructor	Description
ContinuousViolationException(SatConstraint cstr, Action action)	New constraint.
DiscreteViolationException(SatConstraint cstr, Model mo)	New constraint.
SatConstraintViolationException(SatConstraint cstr, String msg)	Declare a new exception.

Uses of SatConstraint in org.btrplace.safeplace.spec

Methods in org.btrplace.safeplace.spec that return SatConstraint

Modifier and Type	Method	Description
SatConstraint	Constraint.instantiate(List<Object> args)

Methods in org.btrplace.safeplace.spec that return types with arguments of type SatConstraint

Modifier and Type	Method	Description
Class<? extends SatConstraint>	Constraint.impl()

Method parameters in org.btrplace.safeplace.spec with type arguments of type SatConstraint

Modifier and Type	Method	Description
Constraint	Constraint.impl(Class<? extends SatConstraint> impl)

Uses of SatConstraint in org.btrplace.safeplace.testing

Methods in org.btrplace.safeplace.testing that return SatConstraint

Modifier and Type	Method	Description
SatConstraint	TestCase.impl()

Methods in org.btrplace.safeplace.testing with parameters of type SatConstraint

Modifier and Type	Method	Description
TestCase	TestCase.impl(SatConstraint s)

Uses of SatConstraint in org.btrplace.safeplace.testing.verification.btrplace

Classes in org.btrplace.safeplace.testing.verification.btrplace that implement SatConstraint

Modifier and Type	Class	Description
class	Schedule

Uses of SatConstraint in org.btrplace.scheduler

Method parameters in org.btrplace.scheduler with type arguments of type SatConstraint

Modifier and Type	Method	Description
default ReconfigurationPlan	Scheduler.solve(Model mo, Collection<? extends SatConstraint> cstrs)	Compute a reconfiguration plan to reach a solution to the model.
default ReconfigurationPlan	Scheduler.solve(Model mo, Collection<? extends SatConstraint> cstrs, OptConstraint obj)	Compute a reconfiguration plan to reach a solution to the model.

Uses of SatConstraint in org.btrplace.scheduler.choco

Method parameters in org.btrplace.scheduler.choco with type arguments of type SatConstraint

Modifier and Type	Method	Description
ReconfigurationPlan	DefaultChocoScheduler.solve(Model mo, Collection<? extends SatConstraint> cstrs)