Generated on Tue Jul 27 2010 21:59:26 for Gecode by doxygen 1.7.1

Node for negation normalform (NNF) More...

#include <minimodel.hh>

List of all members.

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 expr (Home home, IntConLevel icl) const
 Post propagators for expression.
void rel (Home home, IntConLevel icl) const
 Post propagators for relation.

Static Public Member Functions

static NNFnnf (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.
int p
 Number of positive literals for node type.
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 977 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 255 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 153 of file bool-expr.cpp.

BoolVar Gecode::BoolExpr::NNF::expr ( Home  home,
IntConLevel  icl 
) const

Post propagators for expression.

Definition at line 93 of file bool-expr.cpp.

void Gecode::BoolExpr::NNF::rel ( Home  home,
IntConLevel  icl 
) const

Post propagators for relation.

Definition at line 193 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 980 of file minimodel.hh.

Number of positive literals for node type.

Definition at line 982 of file minimodel.hh.

Number of negative literals for node type.

Definition at line 984 of file minimodel.hh.

Left subtree.

Definition at line 990 of file minimodel.hh.

Right subtree.

Definition at line 992 of file minimodel.hh.

struct { ... } Gecode::BoolExpr::NNF::b

For binary nodes (and, or, eqv).

Is atomic formula negative.

Definition at line 997 of file minimodel.hh.

Pointer to corresponding Boolean expression node.

Definition at line 999 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: