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

Class PrologGenerator

  • public class PrologGenerator
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PrologGenerator()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.String createConnections​(java.util.List<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)  
      java.lang.String createFMUs​(java.util.Set<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)  
      java.lang.String createInitOperationOrder​(java.util.List<org.intocps.maestro.framework.fmi2.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 java.lang.String createInitOperationOrder​(java.util.List<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Variable> instantiationOrder)

      • createFMUs

        public java.lang.String createFMUs​(java.util.Set<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)

      • createConnections

        public java.lang.String createConnections​(java.util.List<org.intocps.maestro.framework.fmi2.Fmi2SimulationEnvironment.Relation> relations)