Documentation
Term t | |
Const Integer | |
Plus (Expr t) (Expr t) | |
Minus (Expr t) (Expr t) | |
Mult (Expr t) (Expr t) | |
Div (Expr t) (Expr t) | |
Mod (Expr t) (Expr t) | |
Abs (Expr t) |
ToExpr t (Expr t) | |
(Eq s, Show s) => Enum (Expr s) | |
Eq t => Eq (Expr t) | |
(Eq s, Show s) => Integral (Expr s) | |
(Eq s, Show s) => Num (Expr s) | |
(Eq s, Show s) => Ord (Expr s) | |
(Eq s, Show s) => Real (Expr s) | |
Show t => Show (Expr t) | |
(FDTerm s ~ t, FDSolver s, Eq t, EnumTerm s t, Integral (TermDomain s t)) => EnumTerm (FDWrapper s) (Expr t) |