Class ExtendedMultiModel.ScenarioVerifier

  • Enclosing class:
    ExtendedMultiModel

    public static class ExtendedMultiModel.ScenarioVerifier
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      ScenarioVerifier​(java.util.Map<java.lang.String,​java.lang.Boolean> reactivity, boolean verification, boolean visualization)  
    • Method Summary

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • reactivity

        public final java.util.Map<java.lang.String,​java.lang.Boolean> reactivity
      • verification

        public final boolean verification
      • traceVisualization

        public final boolean traceVisualization
    • Constructor Detail

      • ScenarioVerifier

        public ScenarioVerifier​(java.util.Map<java.lang.String,​java.lang.Boolean> reactivity,
                                boolean verification,
                                boolean visualization)