public class PKOptionManager
extends java.lang.Object
Constructor and Description |
---|
PKOptionManager() |
Modifier and Type | Method and Description |
---|---|
int |
compile(long vtree,
long graph,
java.lang.String outputFileName,
java.lang.String currentDir) |
boolean |
getOptDebug() |
boolean |
getOptHeader() |
boolean |
getOptStat() |
boolean |
getOptTraceabilityMode() |
boolean |
getOptVerbose() |
boolean |
getOptWarn() |
void |
setOptAbstraction(boolean b) |
void |
setOptAlwaysCode(boolean b) |
void |
setOptCheck(boolean b) |
void |
setOptClustering(boolean b) |
void |
setOptCrew(boolean b) |
void |
setOptDebug(boolean b) |
void |
setOptDelayMultiplexing(boolean b) |
void |
setOptDelayOptimizing(boolean b) |
void |
setOptExclusiveClock(boolean b,
int vlevel) |
void |
setOptGenBF(boolean b) |
void |
setOptGenCBody(boolean b) |
void |
setOptGenCIO(boolean b) |
void |
setOptGenCMain(boolean b) |
void |
setOptGenCModules(boolean b) |
void |
setOptGenCPPBody(boolean b) |
void |
setOptGenCPPIO(boolean b) |
void |
setOptGenCPPMain(boolean b) |
void |
setOptGenCPPModules(boolean b) |
void |
setOptGenDistrib(boolean b) |
void |
setOptGenDot(boolean b) |
void |
setOptGenFBF(boolean b) |
void |
setOptGenFlatTrace(boolean b) |
void |
setOptGenJava(boolean b) |
void |
setOptGenJavaBody(boolean b) |
void |
setOptGenJavaIO(boolean b) |
void |
setOptGenJavaMain(boolean b) |
void |
setOptGenJavaModules(boolean b) |
void |
setOptGenList(boolean b) |
void |
setOptGenLustre(boolean b) |
void |
setOptGenSBF(boolean b) |
void |
setOptGenSyndex(boolean b) |
void |
setOptGenThreads(boolean b) |
void |
setOptGenTrace(boolean b) |
void |
setOptGenz3z(boolean b) |
void |
setOptHeader(boolean b) |
void |
setOptKernel(boolean b) |
void |
setOptProfiling(boolean b) |
void |
setOptRetiming(boolean b) |
void |
setOptSeparateBooleansOthers(boolean b) |
void |
setOptSeparateStatesOthers(boolean b) |
void |
setOptSolvingDepth(int depth) |
void |
setOptStat(boolean b) |
void |
setOptSubstitute(int value) |
void |
setOptSynoptic(boolean b) |
void |
setOptTestFunctionality(boolean b) |
void |
setOptTraceabilityMode(boolean b) |
void |
setOptUnification(boolean b) |
void |
setOptUserPartitioning(boolean b) |
void |
setOptVerbose(boolean b) |
void |
setOptWarn(boolean b) |
void |
setOptXMI(boolean b) |
public int compile(long vtree, long graph, java.lang.String outputFileName, java.lang.String currentDir)
public void setOptGenDot(boolean b)
public void setOptAlwaysCode(boolean b)
public void setOptDelayMultiplexing(boolean b)
public void setOptDelayOptimizing(boolean b)
public void setOptSubstitute(int value)
public void setOptExclusiveClock(boolean b, int vlevel)
public void setOptTestFunctionality(boolean b)
public void setOptClustering(boolean b)
public void setOptUnification(boolean b)
public void setOptGenCBody(boolean b)
public void setOptGenCMain(boolean b)
public void setOptGenCIO(boolean b)
public void setOptGenCModules(boolean b)
public void setOptGenCPPBody(boolean b)
public void setOptGenCPPMain(boolean b)
public void setOptGenCPPIO(boolean b)
public void setOptGenCPPModules(boolean b)
public void setOptGenJava(boolean b)
public void setOptGenJavaBody(boolean b)
public void setOptGenJavaMain(boolean b)
public void setOptGenThreads(boolean b)
public void setOptGenJavaIO(boolean b)
public void setOptGenJavaModules(boolean b)
public void setOptGenList(boolean b)
public void setOptGenTrace(boolean b)
public void setOptGenFlatTrace(boolean b)
public void setOptGenz3z(boolean b)
public void setOptGenSyndex(boolean b)
public void setOptSeparateBooleansOthers(boolean b)
public void setOptSeparateStatesOthers(boolean b)
public void setOptUserPartitioning(boolean b)
public void setOptVerbose(boolean b)
public void setOptStat(boolean b)
public void setOptWarn(boolean b)
public void setOptDebug(boolean b)
public void setOptCrew(boolean b)
public void setOptSolvingDepth(int depth)
public void setOptGenBF(boolean b)
public void setOptGenSBF(boolean b)
public void setOptGenFBF(boolean b)
public void setOptRetiming(boolean b)
public void setOptAbstraction(boolean b)
public void setOptKernel(boolean b)
public void setOptProfiling(boolean b)
public void setOptCheck(boolean b)
public void setOptGenLustre(boolean b)
public void setOptGenDistrib(boolean b)
public void setOptXMI(boolean b)
public void setOptSynoptic(boolean b)
public void setOptTraceabilityMode(boolean b)
public void setOptHeader(boolean b)
public boolean getOptVerbose()
public boolean getOptStat()
public boolean getOptWarn()
public boolean getOptDebug()
public boolean getOptTraceabilityMode()
public boolean getOptHeader()