spot  2.7.5
Public Member Functions | Private Member Functions | Private Attributes | List of all members
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. More...
 
int run (printable *in, printable *out)
 Run the given satsolver. More...
 

Private Member Functions

bool has (char c) const
 Whether c occurred in the primed formats. More...
 
void declare (char c, const printable *f)
 Declare a callback function for c. More...
 
void set_output (std::ostream &output)
 Remember where to output any string. More...
 
std::ostream & format (const char *fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const char *fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
std::ostream & format (const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output_. More...
 
std::ostream & format (std::ostream &output, const std::string &fmt)
 Expand the %-sequences in fmt, write the result on output. More...
 
void scan (const char *fmt, std::vector< bool > &has) const
 Scan the %-sequences occuring in fmt. More...
 
void scan (const std::string &fmt, std::vector< bool > &has) const
 Scan the %-sequences occuring in fmt. More...
 
void prime (const char *fmt)
 
void prime (const std::string &fmt)
 

Private Attributes

std::ostream * output_
 

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:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13