pub fn add_xor_literal_clause(&mut self, lits: &[Lit], mut rhs: bool) -> bool {
        let mut vars = Vec::with_capacity(lits.len());
        for lit in lits {
            vars.push(lit.var());
            rhs ^= lit.isneg();
        }
        self.add_xor_clause(&vars, rhs)
    }
/// Wrapper which converts literals to variables and then calls add_xor_clause()
Wrapper which converts literals to variables and then calls add_xor_clause()
Wrapper which converts literals to variables and then calls add_xor_clause ()
pub fn add_xor_literal_clause(&mut self, lits: &[Lit], mut rhs: bool) -> bool {
        let mut vars = Vec::with_capacity(lits.len());
        for lit in lits {
            vars.push(lit.var());
            rhs ^= lit.isneg();
        }
        self.add_xor_clause(&vars, rhs)
    }
pub fn add_xor_literal_clause ( & mut self , lits : & [ Lit ] , mut rhs : bool ) -> bool { let mut vars = Vec :: with_capacity ( lits . len ( ) ) ; for lit in lits { vars . push ( lit . var ( ) ) ; rhs ^= lit . isneg ( ) ; } self . add_xor_clause ( & vars , rhs ) }
Wrapper which converts literals to variables and then calls add_xor_clause()
Wrapper which converts literals to variables and then calls add_xor_clause ()
&mut self
lits
&[Lit]
rhs
bool
&mut self
lits
&[Lit]
rhs
bool