pbessolve_tool

Include file:

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

class pbessolve_tool

Protected types

type pbessolve_tool::super

typedef for parallel_tool< 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)