Expand description
Provide the Rust types that implement constraint-related components of the SDML Grammar.
Structs§
- Atomic
Sentence - Corresponds to the grammar rule
atomic_sentence. - Binary
Boolean Sentence - Holds the left and right operands in the rules
conjunction,disjunction,exclusive_disjunction,implication, andbiconditional. - Constraint
- Corresponds to the grammar rule
constraint. - Controlled
Language String - Corresponds to the grammar rule
informal_constraint. - Controlled
Language Tag - Corresponds to the grammar rule
controlled_language_tag. - Equation
- Formal
Constraint - Function
Cardinality - Corresponds to the grammar rule
cardinality. - Function
Composition - Corresponds to the grammar rule
function_composition. - Function
Def - Function
Parameter - Function
Signature - Function
Type - Functional
Term - Corresponds to the grammar rule
functional_term. - Inequation
- Quantified
Sentence - Corresponds to the grammar rule
quantified_sentence. - Quantified
Variable - Corresponds to the grammar rule
quantified_variable. - Quantified
Variable Binding - Sequence
Builder - Corresponds to the grammar rule
sequence_comprehension. - Sequence
OfPredicate Values - Unary
Boolean Sentence - Holds the left and right operands in the rules
conjunction,disjunction,exclusive_disjunction,implication, andbiconditional. - Variable
- Corresponds to the grammar rule
variable.
Enums§
- Boolean
Sentence - Corresponds to the grammar rule
boolean_sentence. - Connective
Operator - Constraint
Body - Corresponds to the field
bodyin the grammar ruleconstraint. - Constraint
Sentence - Corresponds to the grammar rule
constraint_sentence. - Function
Body - Function
Type Reference - Inequality
Relation - Predicate
Sequence Member - Predicate
Value - Quantifier
- Simple
Sentence - Corresponds to the grammar rule
simple_sentence. - Subject
- Corresponds to the field
subjectin the grammar rulename. - Term
- Corresponds to the grammar rule
term.