List of all items

Structs

• Constant
• Description
• Distinct
• Function
• Not
• Or
• Proposition
• Relation
• Rule
• Variable

Enums

• Clause
• Literal
• Sentence
• Term

Traits

• visitor::Visitor

Functions

• parse
• visitor::visit
• visitor::visit_clause
• visitor::visit_constant
• visitor::visit_distinct
• visitor::visit_function
• visitor::visit_literal
• visitor::visit_not
• visitor::visit_or
• visitor::visit_proposition
• visitor::visit_relation
• visitor::visit_rule
• visitor::visit_sentence
• visitor::visit_term
• visitor::visit_variable