pub trait Visitor {
Show 13 methods
// Provided methods
fn visit_clause(&mut self, _: &mut Clause) { ... }
fn visit_rule(&mut self, _: &mut Rule) { ... }
fn visit_sentence(&mut self, _: &mut Sentence) { ... }
fn visit_proposition(&mut self, _: &mut Proposition) { ... }
fn visit_relation(&mut self, _: &mut Relation) { ... }
fn visit_literal(&mut self, _: &mut Literal) { ... }
fn visit_term(&mut self, _: &mut Term) { ... }
fn visit_constant(&mut self, _: &mut Constant) { ... }
fn visit_or(&mut self, _: &mut Or) { ... }
fn visit_not(&mut self, _: &mut Not) { ... }
fn visit_distinct(&mut self, _: &mut Distinct) { ... }
fn visit_variable(&mut self, _: &mut Variable) { ... }
fn visit_function(&mut self, _: &mut Function) { ... }
}Expand description
A visitor for the AST. Each function will get called when that respective AST node is visited