Struct ClauseNumPropagator

struct ClauseNumPropagator {
    current: String,
}

Fields

current: String

Trait Implementations

impl VisitMut<'_> for ClauseNumPropagator

fn visit_ast_node_mut(&mut self, node: &mut ASTNode)

fn visit_clause_num_mut(&mut self, clause_num: &mut String)

fn visit_policy_mut(&mut self, policy: &'p mut Policy)

fn visit_definition_mut(&mut self, definition: &'p mut Definition)

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)