Struct StateLabel 

pub struct StateLabel {
    pub state: usize,
    pub propositions: HashSet<String>,
}

The label of a state: the set of atomic propositions holding in that state.

Fields

state: usize

State index.

propositions: HashSet<String>

Set of propositions that hold in this state.

Implementations

impl StateLabel

pub fn new(state: usize) -> Self

Create an empty label for a state.

pub fn add(&mut self, prop: impl Into<String>)

Add a proposition to this state’s label.

pub fn holds(&self, prop: &str) -> bool

Returns true if the given proposition holds in this state.

Trait Implementations

impl Clone for StateLabel

fn clone(&self) -> StateLabel

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StateLabel

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

Formats the value using the given formatter.