mcrl2::pbes_system::bdd::ite¶

Include file:

#include "mcrl2/pbes/bdd.h

class mcrl2::pbes_system::bdd::ite¶

Protected attributes¶

bdd_node mcrl2::pbes_system::bdd::ite::m_condition¶

bdd_node mcrl2::pbes_system::bdd::ite::m_else¶

bdd_node mcrl2::pbes_system::bdd::ite::m_then¶

Public member functions¶

const term &condition() const

const term &else_() const¶

ite(bdd_node condtion, bdd_node then_, bdd_node else_)¶

std::string print(bool after) const override

const term &then_() const¶