public class RecursiveMachineLoader
extends java.lang.Object
Constructor and Description |
---|
RecursiveMachineLoader(java.lang.String path,
IDefinitionFileProvider contentProvider) |
RecursiveMachineLoader(java.lang.String directory,
IDefinitionFileProvider contentProvider,
ParsingBehaviour parsingBehaviour) |
Modifier and Type | Method and Description |
---|---|
NodeIdAssignment |
getNodeIdMapping() |
java.util.Map<java.lang.String,Start> |
getParsedMachines() |
void |
loadAllMachines(java.io.File startFile,
Start start,
IDefinitions definitions) |
void |
printAsProlog(de.prob.prolog.output.IPrologTermOutput pout) |
void |
printAsProlog(java.io.PrintWriter out) |
public RecursiveMachineLoader(java.lang.String directory, IDefinitionFileProvider contentProvider, ParsingBehaviour parsingBehaviour) throws BCompoundException
BCompoundException
public RecursiveMachineLoader(java.lang.String path, IDefinitionFileProvider contentProvider) throws BCompoundException
BCompoundException
public void loadAllMachines(java.io.File startFile, Start start, IDefinitions definitions) throws BCompoundException
BCompoundException
public void printAsProlog(java.io.PrintWriter out)
public void printAsProlog(de.prob.prolog.output.IPrologTermOutput pout)
public NodeIdAssignment getNodeIdMapping()
public java.util.Map<java.lang.String,Start> getParsedMachines()