Module sdml_core::model::constraints

Structs

• AtomicSentence
  Corresponds to the grammar rule atomic_sentence.
• BinaryBooleanSentence
  Holds the left and right operands in the rules conjunction, disjunction, exclusive_disjunction, implication, and biconditional.
• Constraint
  Corresponds to the grammar rule constraint.
• ControlledLanguageString
  Corresponds to the grammar rule informal_constraint.
• ControlledLanguageTag
  Corresponds to the grammar rule controlled_language_tag.
• EnvironmentDef
• Equation
• FormalConstraint
• FunctionCardinality
  Corresponds to the grammar rule cardinality.
• FunctionComposition
  Corresponds to the grammar rule function_composition.
• FunctionDef
• FunctionParameter
• FunctionSignature
• FunctionType
• FunctionTypeReference
• FunctionalTerm
  Corresponds to the grammar rule functional_term.
• Inequation
• MappingVariable
• NamedVariables
• QuantifiedSentence
  Corresponds to the grammar rule quantified_sentence.
• QuantifiedVariable
  Corresponds to the grammar rule quantified_variable.
• QuantifiedVariableBinding
• SequenceBuilder
  Corresponds to the grammar rule sequence_comprehension.
• SequenceOfPredicateValues
• UnaryBooleanSentence
  Holds the left and right operands in the rules conjunction, disjunction, exclusive_disjunction, implication, and biconditional.

Enums

• BooleanSentence
  Corresponds to the grammar rule boolean_sentence.
• ConnectiveOperator
• ConstraintBody
  Corresponds to the field body in the grammar rule constraint.
• ConstraintSentence
  Corresponds to the grammar rule constraint_sentence.
• EnvironmentDefBody
• FunctionTypeReferenceInner
• InequalityRelation
• PredicateSequenceMember
• PredicateValue
• Quantifier
• SimpleSentence
  Corresponds to the grammar rule simple_sentence.
• Subject
  Corresponds to the field subject in the grammar rule name.
• Term
  Corresponds to the grammar rule term.
• Variables