pbesinst_lazy.h¶

Include file:

#include "mcrl2/pbes/pbesinst_lazy.h"

Classes¶

std::ostream &mcrl2::pbes_system::operator<<(std::ostream &out, const pbesinst_lazy_todo &todo)¶