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:
logopt.cc
Generated on Mon Mar 28 22:03:51 2011 for SCIL by
1.6.3