s

State::Ptr syten::T3N::VarationalTrunc::Position::s

Position of the compressed state.

Referenced by syten::T3N::VarationalTrunc::build_branchDescendantContr(), syten::T3N::VarationalTrunc::build_branchRootContr(), syten::T3N::VarationalTrunc::build_descendantContr(), syten::T3N::VarationalTrunc::build_physContr(), syten::T3N::VarationalTrunc::build_rootContr(), syten::T3N::VarationalTrunc::init_contr_rec(), push_back(), syten::T3N::VarationalTrunc::update_2phys_branch_down(), syten::T3N::VarationalTrunc::update_2phys_branch_right(), syten::T3N::VarationalTrunc::update_2phys_branch_up(), syten::T3N::VarationalTrunc::update_2phys_down(), syten::T3N::VarationalTrunc::update_2phys_up(), and syten::T3N::VarationalTrunc::VarationalTrunc().