conjure_oxide::solver::adaptors::sat_common

Trait HasVariable

Source 
pub trait HasVariable {
    // Required method
    fn has_variable(self, cnf: &CNFModel) -> bool;
}
Expand description

Helper trait for checking if a variable is present in the CNF polymorphically (i32 or conjure_ast::Name)

Required Methods§

Source

fn has_variable(self, cnf: &CNFModel) -> bool

Implementations on Foreign Types§

Source§

impl HasVariable for i32

Source§

fn has_variable(self, cnf: &CNFModel) -> bool

Implementors§