Generated on Fri May 13 2011 22:41:28 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 1018 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 353 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 238 of file bool-expr.cpp.

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

Post propagators for expression.

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

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

Post propagators for relation.

Definition at line 285 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 170 of file bool-expr.cpp.

void Gecode::BoolExpr::NNF::operator delete ( void *   )  [inline, static]

No-op (for exceptions).

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

void Gecode::BoolExpr::NNF::operator delete ( void *  ,
Region  
) [inline, static]

No-op.

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


Member Data Documentation

Type of node.

Definition at line 1021 of file minimodel.hh.

Number of positive literals for node type.

Definition at line 1023 of file minimodel.hh.

Number of negative literals for node type.

Definition at line 1025 of file minimodel.hh.

Left subtree.

Definition at line 1031 of file minimodel.hh.

Right subtree.

Definition at line 1033 of file minimodel.hh.

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

For binary nodes (and, or, eqv).

Is atomic formula negative.

Definition at line 1038 of file minimodel.hh.

Pointer to corresponding Boolean expression node.

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