CSPM.Evaluator.ValueSet

Documentation

data ValueSet

Constructors

Integers

Processes

ExplicitSet (Set Value)

IntSetFrom Integer

RangedSet Integer Integer

LazySet [Value]

Instances

Eq ValueSet

Ord ValueSet

Show ValueSet

PrettyPrintable ValueSet

cartesianProduct :: ([Value] -> Value) -> [ValueSet] -> ValueSet

Produces a ValueSet of the carteisan product of several ValueSets, using vc to convert each sequence of values into a single value.

powerset :: ValueSet -> ValueSet

Returns the powerset of a ValueSet. This requires

allSequences :: ValueSet -> ValueSet

Returns the set of all sequences over the input set

emptySet :: ValueSet

The empty set

fromList :: [Value] -> ValueSet

Converts a list to a set

toList :: ValueSet -> [Value]

Converts a set to list.

singletonValue :: ValueSet -> Maybe Value

Returns the value iff the set contains one item only

member :: Value -> ValueSet -> Bool

card :: ValueSet -> Integer

empty :: ValueSet -> Bool

mapMonotonic :: (Value -> Value) -> ValueSet -> ValueSet

unions :: [ValueSet] -> ValueSet

intersections :: [ValueSet] -> ValueSet

union :: ValueSet -> ValueSet -> ValueSet

intersection :: ValueSet -> ValueSet -> ValueSet

difference :: ValueSet -> ValueSet -> ValueSet

valueSetToEventSet :: ValueSet -> EventSet