ujf.verimag.bip.cxxcodegen
Class CxxAtomTypeGenerator
java.lang.Object
ujf.verimag.bip.cxxcodegen.CxxAtomTypeGenerator
public class CxxAtomTypeGenerator
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
cBuilder
protected CConstruct cBuilder
cFactory
protected CmodelFactory cFactory
CxxAtomTypeGenerator
public CxxAtomTypeGenerator(CConstruct builder,
CxxExpressionGenerator expGen,
CxxStatementGenerator stmGen)
setDebug
public void setDebug(boolean debug)
generateType
public void generateType(AtomType at,
CModule cmodule,
boolean multi)
setForVerification
public void setForVerification(boolean forVerification)