Trait VivifyIF 

pub trait VivifyIF {
    // Required method
    fn vivify(
        &mut self,
        asg: &mut AssignStack,
        state: &mut State,
    ) -> MaybeInconsistent;
}

Required Methods

fn vivify( &mut self, asg: &mut AssignStack, state: &mut State, ) -> MaybeInconsistent

Implementors

impl VivifyIF for ClauseDB