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

Class InitializationPrologQuery

  • public class InitializationPrologQuery
extends java.lang.Object

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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)