pub trait VisitMut<'p> {
// Provided methods
fn visit_policy_mut(&mut self, policy: &'p mut Policy) { ... }
fn visit_definition_mut(&mut self, definition: &'p mut Definition) { ... }
fn visit_ast_node_mut(&mut self, node: &'p mut ASTNode) { ... }
fn visit_variable_mut(&mut self, _variable: &'p mut String) { ... }
fn visit_variable_intro_mut(&mut self, variable: &'p mut VariableIntro) { ... }
fn visit_clause_mut(&mut self, clause: &'p mut Clause) { ... }
fn visit_relation_mut(&mut self, relation: &'p mut Relation) { ... }
fn visit_only_via_mut(
&mut self,
intro: &'p mut VariableIntro,
op1: &'p mut (Option<Operator>, Vec<VariableIntro>),
op2: &'p mut (Option<Operator>, Vec<VariableIntro>),
) { ... }
fn visit_joined_nodes_mut(&mut self, obligation: &'p mut TwoNodeObligation) { ... }
fn visit_clause_intro_mut(&mut self, intro: &'p mut ClauseIntro) { ... }
fn visit_clause_num_mut(&mut self, _clause_num: &'p mut String) { ... }
}