Satyros.QFIDL.Expressed

Documentation

data Expressed

Constructors

LessThanEqualTo Variable Variable Int

Instances

Eq Expressed

Defined in Satyros.QFIDL.Expressed

Methods

(==) :: Expressed -> Expressed -> Bool

(/=) :: Expressed -> Expressed -> Bool

Ord Expressed

Defined in Satyros.QFIDL.Expressed

Methods

compare :: Expressed -> Expressed -> Ordering

(<) :: Expressed -> Expressed -> Bool

(<=) :: Expressed -> Expressed -> Bool

(>) :: Expressed -> Expressed -> Bool

(>=) :: Expressed -> Expressed -> Bool

max :: Expressed -> Expressed -> Expressed

min :: Expressed -> Expressed -> Expressed

Show Expressed

Defined in Satyros.QFIDL.Expressed

Methods

showsPrec :: Int -> Expressed -> ShowS

show :: Expressed -> String

showList :: [Expressed] -> ShowS

variablesInExpressed :: Expressed -> Set Variable