line::ldes::LdesRunner Struct Reference

One runner: the argv prefix that runs the engine, and the name of its image. More...

#include <line/solvers/wrappers/ldes/solver_ldes.h>

Collaboration diagram for line::ldes::LdesRunner:

Public Attributes
std::vector< std::string >	argv
	up to and including "solve"
std::string	engine
	"native" or "jar"

Detailed Description

One runner: the argv prefix that runs the engine, and the name of its image.

Definition at line 327 of file solver_ldes.h.

Member Data Documentation

argv

std::vector<std::string> line::ldes::LdesRunner::argv

up to and including "solve"

Definition at line 328 of file solver_ldes.h.

Referenced by line::ldes::ldes_runners().

engine

std::string line::ldes::LdesRunner::engine

"native" or "jar"

Definition at line 329 of file solver_ldes.h.

Referenced by line::ldes::ldes_runners().

---

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

• include/line/solvers/wrappers/ldes/solver_ldes.h