Main Page   Class Hierarchy   Compound List   File List   Contact   Download   Symbolic Constraints   Examples  

bfStack Struct Reference

List of all members.

Public Member Functions

 bfStack (bool neg)
bfElement & top ()
void pop ()
void push (bfElement bfE)
bool empty ()

Public Attributes

stack< bfElement > st
bool negated

Detailed Description

Definition at line 26 of file logopt.cc.


The documentation for this struct was generated from the following file:
Generated on Mon Mar 28 22:03:51 2011 for SCIL by  doxygen 1.6.3