spot::satsolver_command Class Reference

Interface with a given sat solver. More...

#include <spot/misc/satsolver.hh>

Inheritance diagram for spot::satsolver_command:

Collaboration diagram for spot::satsolver_command:

Public Member Functions
bool	command_given ()
	Return true if a satsolver is given, false otherwise.
int	run (printable *in, printable *out)
	Run the given satsolver.

Detailed Description

Interface with a given sat solver.

When created, it checks if SPOT_SATSOLVER env var is set. If so, its value is parsed and saved internally. The env variable musb be set like this: "<satsolver> [its_options] %I > %O" where I and O are replaced by input and output files.

The run method permits of course to run the given sat solver.

Member Function Documentation

command_given()

bool spot::satsolver_command::command_given

(

)

Return true if a satsolver is given, false otherwise.

run()

int spot::satsolver_command::run	(	printable *	in,
		printable *	out )

Run the given satsolver.

---

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

• spot/misc/satsolver.hh