line::ctmc::CtmcSymbolicOptions Struct Reference

Backend selection, mirroring options.config.symbolic and its timeout. More...

#include <line/solvers/ctmc/solver_ctmc_symbolic.h>

Collaboration diagram for line::ctmc::CtmcSymbolicOptions:

Public Attributes
std::string	backend = "auto"
	auto to search, a URL, an image name, or none to stay local.
int	timeout_s = 300
	options.config.symbolic_timeout, seconds; the reference defaults to 300.

Detailed Description

Backend selection, mirroring options.config.symbolic and its timeout.

Definition at line 72 of file solver_ctmc_symbolic.h.

Member Data Documentation

backend

std::string line::ctmc::CtmcSymbolicOptions::backend = "auto"

auto to search, a URL, an image name, or none to stay local.

Definition at line 74 of file solver_ctmc_symbolic.h.

timeout_s

int line::ctmc::CtmcSymbolicOptions::timeout_s = 300

options.config.symbolic_timeout, seconds; the reference defaults to 300.

Definition at line 76 of file solver_ctmc_symbolic.h.

---

The documentation for this struct was generated from the following file:

• include/line/solvers/ctmc/solver_ctmc_symbolic.h