Struct BoolVar 

pub struct BoolVar { /* private fields */ }

Implementations

impl BoolVar

pub fn new(id: VarId) -> Self

Create a new var

pub fn boxed(self) -> Box<dyn Var + Send + Sync>

Box the value

Trait Implementations

impl Debug for BoolVar

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Var for BoolVar

fn id(&self) -> &VarId

Gets the ID

fn value_from_str(&self, s: &str) -> Result<Box<dyn Value>, InvalidValue>

Convert a &str to this Var’s corresponding value

fn validate_val_type(&self, val: &Box<dyn Value>) -> Result<(), InvalidValue>

Validate the value type corresponds to this Var