Class Fence

All Implemented Interfaces:
Constraint, SatConstraint

@SideConstraint(args={"v : vms","ns <: nodes"},
                inv="vmState(v) = running --> host(v) : ns")
public class Fence
extends SimpleConstraint
A constraint to force the given VM, when running, to be hosted on a given group of nodes.
Author:
Fabien Hermenier
  • Constructor Details

    • Fence

      public Fence​(VM vm, Collection<Node> nodes)
      Make a new discrete constraint.
      Parameters:
      vm - the involved VM
      nodes - the involved nodes
    • Fence

      public Fence​(VM vm, Node... n)
      Make a new discrete constraint.
      Parameters:
      vm - the involved VM
      n - the involved nodes
    • Fence

      public Fence​(VM vm, Collection<Node> nodes, boolean continuous)
      Make a new constraint.
      Parameters:
      vm - the VM identifiers
      nodes - the nodes identifiers
      continuous - true for a continuous constraint.
  • Method Details