Struct ggp_rs::State

pub struct State {
    // some fields omitted
}

The state of a game, containing all Sentences that are true in this state

Methods

impl State

fn new() -> State

Create a new, empty state

fn from_props(props: BTreeSet<Sentence>) -> State

Create a state containing the given propositions

fn props(&self) -> &BTreeSet<Sentence>

Returns the propositions that are true in this state

Trait Implementations

impl Display for State

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

Derived Implementations

impl PartialEq for State

fn eq(&self, __arg_0: &State) -> bool

fn ne(&self, __arg_0: &State) -> bool

impl Eq for State

impl Hash for State

fn hash<__H: Hasher>(&self, __arg_0: &mut __H)

fn hash_slice<H>(data: &[Self], state: &mut H) where H: Hasher

impl Clone for State

fn clone(&self) -> State

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

impl Debug for State

fn fmt(&self, __arg_0: &mut Formatter) -> Result