- Main Page
- Namespaces
- Classes
- Files
- Related Pages

- Namespace List
- Namespace Members

# Mers::Solvers::SAT::GATSAT::OpSAT Namespace Reference

## Classes
class | Opsat
class | OpSatFactory
## Functions
ostream & | operator<< (ostream &out, Opsat const &other)
ostream & | operator<< (ostream &out, Opsat const &other)

## Function Documentation

ostream& Mers::Solvers::SAT::GATSAT::OpSAT::operator<< | ( | std::ostream & | out,
|  | Opsat const & | other |
| ) |  |  |

Prints out the current state of opsat.

Parameters:

  | out | the ostream being written to.
  | other | The opsat being printed.

Returns:
  the out ostream.

Definition at line 335 of file Opsat.cpp.

ostream& Mers::Solvers::SAT::GATSAT::OpSAT::operator<< | ( | std::ostream & | out,
|  | Opsat const & | other |
| ) |  |  |

Prints out the current state of opsat.

Parameters:

  | out | the ostream being written to.
  | other | The opsat being printed.

Returns:
  the out ostream.

Definition at line 358 of file Opsat-for-zchaff.cpp.