Package org.intocps.maestro.plugin.verificationsuite.PrologVerifier

Class InitializationPrologQuery

java.lang.Object

org.intocps.maestro.plugin.verificationsuite.PrologVerifier.InitializationPrologQuery

public class InitializationPrologQuery
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
InitializationPrologQuery()
InitializationPrologQuery(PrologGenerator prologGenerator)

Method Summary

Modifier and Type	Method	Description
boolean	initializationOrderIsValid(java.util.List<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Variable> instantiationOrder, java.util.Set<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)

Methods inherited from class java.lang.Object

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

Constructor Detail

InitializationPrologQuery

public InitializationPrologQuery(PrologGenerator prologGenerator)

InitializationPrologQuery

public InitializationPrologQuery()

Method Detail

initializationOrderIsValid

public boolean initializationOrderIsValid(java.util.List<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Variable> instantiationOrder,
                                          java.util.Set<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)