HasUID (ConstraintSet e) Source # | Finds the UID of the ConstraintSet . |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
Idea (ConstraintSet e) Source # | Finds the idea of the ConstraintSet . |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
NamedIdea (ConstraintSet e) Source # | Finds the term (NP ) of the ConstraintSet . |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
ConceptDomain (ConstraintSet e) Source # | Finds the domain of the ConstraintSet . |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
Definition (ConstraintSet e) Source # | Finds the definition of the ConstraintSet . |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
Express e => Express (ConstraintSet e) Source # | The complete ModelExpr of a ConstraintSet is the logical conjunction of
all the underlying relations (e.g., `a $&& b $&& ... $&& z`). |
Instance detailsDefined in Theory.Drasil.ConstraintSet |
RequiresChecking (ConstraintSet Expr) Expr Space Source # | Exposes all relations and an expectation of the type of a relation (Bool) |
Instance detailsDefined in Theory.Drasil.ConstraintSet |