[−][src]Trait splr::traits::FlagIF

pub trait FlagIF {
    fn is(&self, flag: Flag) -> bool;

    fn turn_off(&mut self, flag: Flag);

    fn turn_on(&mut self, flag: Flag);
}

API for object properties like is, turn_off, turn_on and so on.

Required methods

fn is(&self, flag: Flag) -> bool

return true if the flag in on.

fn turn_off(&mut self, flag: Flag)

toggle the flag off.

fn turn_on(&mut self, flag: Flag)

toggle the flag on.

Loading content...

Implementors

impl FlagIF for Clause[src]

impl FlagIF for Var[src]

Loading content...