Package org.btrplace.safeplace.spec.term
-
Class Summary Class Description Constant ConstraintCall ExplodedSet IntMinus IntPlus ListBuilder<T> Build a set of elements from a variable, a proposition to test which of the values have to be inserted, and a term to perform transformations on the variable.Minus<T> Mult Plus<T> Primitive<T> ProtectedTerm<T> SetBuilder<T> Build a set of elements from a variable, a proposition to test which of the values have to be inserted, and a term to perform transformations on the variable.SetMinus SetPlus UserVar<T>