Inheritance diagram for symbolic::State:

Public Types
using	iterator = Base::iterator

using	const_iterator = Base::const_iterator

Public Member Functions
	State (std::initializer_list< Proposition > l)

	State (const Pddl &pddl, const std::unordered_set< std::string > &str_state)

bool	contains (const PropositionBase &prop) const

bool	insert (const PropositionBase &prop)

bool	insert (Proposition &&prop)

template<class InputIt >
bool	insert (InputIt first, InputIt last)

template<class... Args>
bool	emplace (Args &&... args)

bool	erase (const PropositionBase &prop)

const_iterator	begin () const

const_iterator	end () const

iterator	begin ()

iterator	end ()

bool	empty () const

size_t	size () const

void	reserve (size_t size)

std::unordered_set< std::string >	Stringify () const

Friends
bool	operator== (const State &lhs, const State &rhs)

bool	operator!= (const State &lhs, const State &rhs)

bool	operator< (const State &lhs, const State &rhs)

std::ostream &	operator<< (std::ostream &os, const State &state)

Member Function Documentation

◆ contains()

bool symbolic::State::contains ( const PropositionBase & prop ) const

inline

Returns whether the state contains the given proposition.

template<class... Args>

bool symbolic::State::emplace ( Args &&... args )

inline

Emplaces a proposition into the state, and returns whether or not the state has changed.

bool symbolic::State::erase ( const PropositionBase & prop )

inline

Removes a proposition from the state, and returns whether or not the state has changed.

bool symbolic::State::insert ( const PropositionBase & prop )

inline

Inserts a proposition into the state, and returns whether or not the state has changed.

The documentation for this class was generated from the following files: