TuringSim
C++ framework to simulate abstract computing models
TuringSim::Runner::AlternatingTree< LeafType > Member List

This is the complete list of members for TuringSim::Runner::AlternatingTree< LeafType >, including all inherited members.

compact()TuringSim::Runner::AlternatingTree< LeafType >inline
debug() constTuringSim::Runner::AlternatingTree< LeafType >inline
debug(const Quantifier &q)TuringSim::Runner::AlternatingTree< LeafType >inlinestatic
debug(size_t i) constTuringSim::Runner::AlternatingTree< LeafType >inline
decide(Uid subUid, bool d)TuringSim::Runner::AlternatingTree< LeafType >inline
decided() const noexceptTuringSim::Runner::AlternatingTree< LeafType >inline
getDecision() const noexceptTuringSim::Runner::AlternatingTree< LeafType >inline
getSubTrees()TuringSim::Runner::AlternatingTree< LeafType >inline
hasLeaves() constTuringSim::Runner::AlternatingTree< LeafType >inline
insert(Uid subUid, Quantifier q, std::vector< std::tuple< LeafType, std::optional< bool >>> &newLeaves)TuringSim::Runner::AlternatingTree< LeafType >inline
lastLeafUid()TuringSim::Runner::AlternatingTree< LeafType >inline
makeAlternatingTreeRoot(Quantifier quantifier, const std::vector< LeafType > &leaves)TuringSim::Runner::AlternatingTree< LeafType >inlinestatic
operator<<(std::basic_ostream< CharT, Traits > &os, const AlternatingTree &tree)TuringSim::Runner::AlternatingTree< LeafType >friend
pick()TuringSim::Runner::AlternatingTree< LeafType >inline
Quantifier enum nameTuringSim::Runner::AlternatingTree< LeafType >
Uid typedefTuringSim::Runner::AlternatingTree< LeafType >