RawScanner::Private Struct Reference

List of all members.


Detailed Description

Definition at line 33 of file Scanner.cpp.


Public Types

enum  EState { STATE_INIT, STATE_BUILDING_STRING }

Public Attributes

FILE * fd
EState state
int line

Member Enumeration Documentation

enum EState

Enumerator:
STATE_INIT 
STATE_BUILDING_STRING 

Definition at line 34 of file Scanner.cpp.


Member Data Documentation

FILE* fd

Definition at line 38 of file Scanner.cpp.

Referenced by RawScanner::RawScanner(), and RawScanner::readNext().

EState state

Definition at line 39 of file Scanner.cpp.

Referenced by RawScanner::RawScanner(), and RawScanner::readNext().

int line

Definition at line 40 of file Scanner.cpp.

Referenced by RawScanner::RawScanner(), and RawScanner::readNext().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4