org.btrplace.safeplace.spec.Constraint

public class Constraint
extends Object
implements Function<Boolean>

Method Summary

Modifier and Type	Method	Description
`List<UserVar<?>>`	`args()`
`Constraint`	`args(List<UserVar<?>> args)`
`Boolean`	`eval(Context mo, Object... values)`
`String`	`id()`
`Class<? extends SatConstraint>`	`impl()`
`Constraint`	`impl(Class<? extends SatConstraint> impl)`
`SatConstraint`	`instantiate(List<Object> args)`
`boolean`	`isSatConstraint()`
`String`	`pretty()`
`Proposition`	`proposition()`
`Type[]`	`signature()`
`String`	`signatureToString()`
`String`	`toString()`
`String`	`toString(List<Constant> values)`
`BoolType`	`type()`

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

type

Constructor Details
- Constraint
  
  public Constraint(String name, Proposition prop)
Method Details
- type
  
  public BoolType type()
  
  Specified by:
  
  type in interface Function<Boolean>
- id
  
  public String id()
  
  Specified by:
  
  id in interface Function<Boolean>
- pretty
  
  public String pretty()
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- toString
  
  public String toString(List<Constant> values)
- signatureToString
  
  public String signatureToString()
- eval
  
  public Boolean eval(Context mo, Object... values)
  
  Specified by:
  
  eval in interface Function<Boolean>
- proposition
  
  public Proposition proposition()
- args
  
  public List<UserVar<?>> args()
- args
  
  public Constraint args(List<UserVar<?>> args)
- signature
  
  public Type[] signature()
  
  Specified by:
  
  signature in interface Function<Boolean>
- impl
  
  public Constraint impl(Class<? extends SatConstraint> impl)
- impl
  
  public Class<? extends SatConstraint> impl()
- instantiate
  
  public SatConstraint instantiate(List<Object> args)
- isSatConstraint
  
  public boolean isSatConstraint()

Class Constraint