Package org.btrplace.safeplace.spec.prop
-
Interface Summary Interface Description Proposition A logical proposition. -
Class Summary Class Description And Logical and between several propositions.AtomicProp BinaryProp A sequence of propositions having a same operator.Eq Exists ForAll Iff Implies In Inc Leq Lt NEq NIn NInc NoPackings Not Or Packings ProtectedProposition