com.JLex
Class CAlloc

java.lang.Object
  extended by com.JLex.CAlloc

 class CAlloc
extends java.lang.Object

Class: CAlloc


Constructor Summary
CAlloc()
           
 
Method Summary
(package private) static CDfa newCDfa(CSpec spec)
          Function: newCDfa
(package private) static CNfa newCNfa(CSpec spec)
          Function: newCNfa Description:
(package private) static CNfaPair newCNfaPair()
          Function: newCNfaPair Description:
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CAlloc

CAlloc()
Method Detail

newCDfa

static CDfa newCDfa(CSpec spec)
Function: newCDfa


newCNfaPair

static CNfaPair newCNfaPair()
Function: newCNfaPair Description:


newCNfa

static CNfa newCNfa(CSpec spec)
Function: newCNfa Description: