pbessolve_tool

Include file:

#include "mcrl2/pbes/tools/pbessolve.h
class pbessolve_tool

Protected types

type pbessolve_tool::super

typedef for rewriter_tool< pbes_input_tool< input_tool > >

Protected attributes

std::string pbessolve_tool::evidence_file
std::string pbessolve_tool::lpsfile
std::string pbessolve_tool::ltsfile
pbessolve_options pbessolve_tool::options

Protected member functions

void add_options(utilities::interface_description &desc) override
std::set<utilities::file_format> available_input_formats() const override
void parse_options(const utilities::command_line_parser &parser) override

Public member functions

pbessolve_tool(const std::string &toolname)
bool run() override
void run_algorithm(PbesInstAlgorithm &algorithm, pbes_system::pbes &pbesspec, structure_graph &G, const data::mutable_map_substitution<> &sigma)