Gecode::BoolExpr::NNF Class Reference
Node for negation normalform (NNF) More...
#include <minimodel.hh>
Public Member Functions | |
void | post (Home home, NodeType t, BoolVarArgs &bp, BoolVarArgs &bn, int &ip, int &in, IntConLevel icl) const |
Post propagators for nested conjunctive and disjunctive expression. | |
BoolVar | post (Home home, IntConLevel icl) const |
Post propagators for expression. | |
void | post (Home home, bool t, IntConLevel icl) const |
Post propagators for relation. | |
Static Public Member Functions | |
static NNF * | nnf (Region &r, Node *n, bool neg) |
Create negation normalform. | |
static void * | operator new (size_t s, Region &r) |
Allocate memory from region. | |
static void | operator delete (void *) |
No-op (for exceptions). | |
static void | operator delete (void *, Region &) |
No-op. | |
Public Attributes | |
NodeType | t |
Type of node. | |
unsigned int | p |
Number of positive literals for node type. | |
unsigned int | n |
Number of negative literals for node type. | |
union { | |
struct { | |
NNF * l | |
Left subtree. | |
NNF * r | |
Right subtree. | |
} b | |
For binary nodes (and, or, eqv). | |
struct { | |
bool neg | |
Is atomic formula negative. | |
Node * x | |
Pointer to corresponding Boolean expression node. | |
} a | |
For atomic nodes. | |
} | u |
Union depending on nodetype t. |
Detailed Description
Node for negation normalform (NNF)
Definition at line 691 of file minimodel.hh.
Member Function Documentation
BoolExpr::NNF * Gecode::BoolExpr::NNF::nnf | ( | Region & | r, | |
Node * | n, | |||
bool | neg | |||
) | [static] |
Create negation normalform.
Definition at line 236 of file bool-expr.cpp.
void Gecode::BoolExpr::NNF::post | ( | Home | home, | |
NodeType | t, | |||
BoolVarArgs & | bp, | |||
BoolVarArgs & | bn, | |||
int & | ip, | |||
int & | in, | |||
IntConLevel | icl | |||
) | const |
Post propagators for nested conjunctive and disjunctive expression.
Definition at line 148 of file bool-expr.cpp.
BoolVar Gecode::BoolExpr::NNF::post | ( | Home | home, | |
IntConLevel | icl | |||
) | const |
Post propagators for expression.
Definition at line 93 of file bool-expr.cpp.
void Gecode::BoolExpr::NNF::post | ( | Home | home, | |
bool | t, | |||
IntConLevel | icl | |||
) | const |
Post propagators for relation.
Definition at line 179 of file bool-expr.cpp.
void * Gecode::BoolExpr::NNF::operator new | ( | size_t | s, | |
Region & | r | |||
) | [inline, static] |
Allocate memory from region.
Definition at line 88 of file bool-expr.cpp.
void Gecode::BoolExpr::NNF::operator delete | ( | void * | ) | [inline, static] |
No-op (for exceptions).
Definition at line 82 of file bool-expr.cpp.
void Gecode::BoolExpr::NNF::operator delete | ( | void * | , | |
Region & | ||||
) | [inline, static] |
No-op.
Definition at line 85 of file bool-expr.cpp.
Member Data Documentation
Type of node.
Definition at line 694 of file minimodel.hh.
unsigned int Gecode::BoolExpr::NNF::p |
Number of positive literals for node type.
Definition at line 696 of file minimodel.hh.
unsigned int Gecode::BoolExpr::NNF::n |
Number of negative literals for node type.
Definition at line 698 of file minimodel.hh.
Left subtree.
Definition at line 704 of file minimodel.hh.
Right subtree.
Definition at line 706 of file minimodel.hh.
struct { ... } Gecode::BoolExpr::NNF::b |
For binary nodes (and, or, eqv).
Is atomic formula negative.
Definition at line 711 of file minimodel.hh.
Pointer to corresponding Boolean expression node.
Definition at line 713 of file minimodel.hh.
struct { ... } Gecode::BoolExpr::NNF::a |
For atomic nodes.
union { ... } Gecode::BoolExpr::NNF::u |
Union depending on nodetype t.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh (Revision: 10684)
- gecode/minimodel/bool-expr.cpp (Revision: 10262)