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

- Alphabetical List
- Class List
- Class Hierarchy
- Class Members

# ConstraintElement Class Reference

List of all members.

## Public Member Functions
| ConstraintElement (string var, string val, bool s)
| ConstraintElement (ConstraintElement const &ce)
| ConstraintElement (string var, string val, bool s)
| ConstraintElement (ConstraintElement const &ce)
| ConstraintElement (string var, string val, bool s)
| ConstraintElement (ConstraintElement const &ce)
## Public Attributes
string | variable
| The name of the variable of this literal.
string | value
| The name of the value of this literal.
bool | sign
| The sign of this literal - true if positive, and false otherwise.

## Detailed Description

This class encapsulates a literal for storage in the theory.

Definition at line 38 of file gen.cpp.

## Constructor & Destructor Documentation

ConstraintElement::ConstraintElement | ( | string | var,
|  | string | val,
|  | bool | s |
| ) |  |  | `[inline]`

Constructs a new literal, with the specified variable, value and sign.

Parameters:

  | var | The name of the variable.
  | val | The name of the value.
  | s | The sign of the literal. True for positive, false for negative.

Definition at line 99 of file GenGenTestTradeoff.cpp.

ConstraintElement::ConstraintElement | ( | ConstraintElement const & | ce | ) | `[inline]`

Constructs a new literal that is a copy of the other literal.

Parameters:

  | ce | The other literal that is being copied.

Definition at line 109 of file GenGenTestTradeoff.cpp.

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

- /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/CompileSAT/gen.cpp
- /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/OpSAT/gen.cpp
- /Users/fpy/titan-1-5-MBARI/Mers/Solvers/SAT/GATSAT/VsatBfig/GenGenTestTradeoff.cpp