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

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

# DomainElement Class Reference

List of all members.

## Public Member Functions
| DomainElement (string v, double p)
| DomainElement (DomainElement const &de)
| DomainElement (string v, double p)
| DomainElement (DomainElement const &de)
| DomainElement (string v, double p)
| DomainElement (DomainElement const &de)
## Public Attributes
string | value
| The name of the value.
double | probability
| The probability associated with this value.

## Detailed Description

This class stores information about a single value within a domain.

Definition at line 20 of file gen.cpp.

## Constructor & Destructor Documentation

DomainElement::DomainElement | ( | string | v,
|  | double | p |
| ) |  |  | `[inline]`

Constructs a new object with the specified name and probability.

Parameters:

  | v | The name of this value.
  | p | The probability of this value.

Definition at line 57 of file GenGenTestTradeoff.cpp.

DomainElement::DomainElement | ( | DomainElement const & | de | ) | `[inline]`

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

Parameters:

  | de | The data in this object is used to initialize the new object.

Definition at line 68 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