ToySolver.Data.OrdRel

Ordering relations

Relational operators

data RelOp

relational operators

Constructors

Lt

Le

Ge

Gt

Eql

NEq

Instances

Eq RelOp

Methods

(==) :: RelOp -> RelOp -> Bool

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

Ord RelOp

Methods

compare :: RelOp -> RelOp -> Ordering

(<) :: RelOp -> RelOp -> Bool

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

(>) :: RelOp -> RelOp -> Bool

(>=) :: RelOp -> RelOp -> Bool

max :: RelOp -> RelOp -> RelOp

min :: RelOp -> RelOp -> RelOp

Show RelOp

Methods

showsPrec :: Int -> RelOp -> ShowS

show :: RelOp -> String

showList :: [RelOp] -> ShowS

flipOp :: RelOp -> RelOp

flipping relational operator

rel (flipOp op) a b is equivalent to rel op b a

negOp :: RelOp -> RelOp

negating relational operator

rel (negOp op) a b is equivalent to notB (rel op a b)

showOp :: RelOp -> String

operator symbol

evalOp :: Ord a => RelOp -> a -> a -> Bool

evaluate an operator into a comparision function

Relation

data OrdRel e

Atomic formula

Constructors

OrdRel e RelOp e

Instances

Functor OrdRel

Methods

fmap :: (a -> b) -> OrdRel a -> OrdRel b

(<$) :: a -> OrdRel b -> OrdRel a

IsOrdRel e (OrdRel e)

Methods

(.<.) :: e -> e -> OrdRel e

(.<=.) :: e -> e -> OrdRel e

(.>.) :: e -> e -> OrdRel e

(.>=.) :: e -> e -> OrdRel e

ordRel :: RelOp -> e -> e -> OrdRel e

IsEqRel e (OrdRel e)

Methods

(.==.) :: e -> e -> OrdRel e

(./=.) :: e -> e -> OrdRel e

Eq e => Eq (OrdRel e)

Methods

(==) :: OrdRel e -> OrdRel e -> Bool

(/=) :: OrdRel e -> OrdRel e -> Bool

Ord e => Ord (OrdRel e)

Methods

compare :: OrdRel e -> OrdRel e -> Ordering

(<) :: OrdRel e -> OrdRel e -> Bool

(<=) :: OrdRel e -> OrdRel e -> Bool

(>) :: OrdRel e -> OrdRel e -> Bool

(>=) :: OrdRel e -> OrdRel e -> Bool

max :: OrdRel e -> OrdRel e -> OrdRel e

min :: OrdRel e -> OrdRel e -> OrdRel e

Show e => Show (OrdRel e)

Methods

showsPrec :: Int -> OrdRel e -> ShowS

show :: OrdRel e -> String

showList :: [OrdRel e] -> ShowS

Variables e => Variables (OrdRel e)

Methods

vars :: OrdRel e -> VarSet

Complement (OrdRel c)

Methods

notB :: OrdRel c -> OrdRel c

IsOrdRel (Expr c) (Formula (Atom c))

Methods

(.<.) :: Expr c -> Expr c -> Formula (Atom c)

(.<=.) :: Expr c -> Expr c -> Formula (Atom c)

(.>.) :: Expr c -> Expr c -> Formula (Atom c)

(.>=.) :: Expr c -> Expr c -> Formula (Atom c)

ordRel :: RelOp -> Expr c -> Expr c -> Formula (Atom c)

IsEqRel (Expr c) (Formula (Atom c))

Methods

(.==.) :: Expr c -> Expr c -> Formula (Atom c)

(./=.) :: Expr c -> Expr c -> Formula (Atom c)

fromOrdRel :: IsOrdRel e r => OrdRel e -> r

DSL

class IsEqRel e r | r -> e where

type class for constructing relational formula

Minimal complete definition

(.==.), (./=.)

Methods

(.==.) :: e -> e -> r infix 4

(./=.) :: e -> e -> r infix 4

Instances

IsEqRel Expr Expr

Methods

(.==.) :: Expr -> Expr -> Expr

(./=.) :: Expr -> Expr -> Expr

IsEqRel e (OrdRel e)

Methods

(.==.) :: e -> e -> OrdRel e

(./=.) :: e -> e -> OrdRel e

IsEqRel (Expr Integer) QFFormula

Methods

(.==.) :: Expr Integer -> Expr Integer -> QFFormula

(./=.) :: Expr Integer -> Expr Integer -> QFFormula

IsEqRel (Expr c) (Formula (Atom c))

Methods

(.==.) :: Expr c -> Expr c -> Formula (Atom c)

(./=.) :: Expr c -> Expr c -> Formula (Atom c)

class IsEqRel e r => IsOrdRel e r | r -> e where

type class for constructing relational formula

Minimal complete definition

(.<.), (.<=.), (.>.), (.>=.) | ordRel

Methods

(.<.), (.<=.), (.>.), (.>=.) :: e -> e -> r infix 4 .<., .<=., .>., .>=.

ordRel :: RelOp -> e -> e -> r

Instances

IsOrdRel Expr Expr

Methods

(.<.) :: Expr -> Expr -> Expr

(.<=.) :: Expr -> Expr -> Expr

(.>.) :: Expr -> Expr -> Expr

(.>=.) :: Expr -> Expr -> Expr

ordRel :: RelOp -> Expr -> Expr -> Expr

IsOrdRel e (OrdRel e)

Methods

(.<.) :: e -> e -> OrdRel e

(.<=.) :: e -> e -> OrdRel e

(.>.) :: e -> e -> OrdRel e

(.>=.) :: e -> e -> OrdRel e

ordRel :: RelOp -> e -> e -> OrdRel e

IsOrdRel (Expr Integer) QFFormula

Methods

(.<.) :: Expr Integer -> Expr Integer -> QFFormula

(.<=.) :: Expr Integer -> Expr Integer -> QFFormula

(.>.) :: Expr Integer -> Expr Integer -> QFFormula

(.>=.) :: Expr Integer -> Expr Integer -> QFFormula

ordRel :: RelOp -> Expr Integer -> Expr Integer -> QFFormula

IsOrdRel (Expr c) (Formula (Atom c))

Methods

(.<.) :: Expr c -> Expr c -> Formula (Atom c)

(.<=.) :: Expr c -> Expr c -> Formula (Atom c)

(.>.) :: Expr c -> Expr c -> Formula (Atom c)

(.>=.) :: Expr c -> Expr c -> Formula (Atom c)

ordRel :: RelOp -> Expr c -> Expr c -> Formula (Atom c)