Package org.intocps.maestro.plugin.verificationsuite.prologverifier

Class PrologGenerator

java.lang.Object

org.intocps.maestro.plugin.verificationsuite.prologverifier.PrologGenerator

public class PrologGenerator
extends Object

Constructor Summary

Constructors

Constructor	Description
PrologGenerator()

Method Summary

Modifier and Type	Method	Description
String	createConnections(List<Fmi2SimulationEnvironment.Relation> relations)
String	createFMUs(Set<Fmi2SimulationEnvironment.Relation> relations)
String	createInitOperationOrder(List<Fmi2SimulationEnvironment.Variable> instantiationOrder)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PrologGenerator

public PrologGenerator()

Method Detail

createInitOperationOrder

public String createInitOperationOrder(List<Fmi2SimulationEnvironment.Variable> instantiationOrder)

createFMUs

public String createFMUs(Set<Fmi2SimulationEnvironment.Relation> relations)

createConnections

public String createConnections(List<Fmi2SimulationEnvironment.Relation> relations)