Public Member Functions | |
| SPNode (int n, bool b) | |
Public Attributes | |
| bool | isClause |
| int | name |
| bool | solved |
| bool | value |
| double | Bias |
| SPNode::SPNode | ( | int | n, | |
| bool | b | |||
| ) | [inline] |
| double SPNode::Bias |
| bool SPNode::isClause |
| int SPNode::name |
| bool SPNode::solved |
| bool SPNode::value |
1.6.3