Interface ModelChecker.MealyModelChecker<I,​O,​P,​R>

    • Method Detail

      • getSkipOutputs

        Collection<? super O> getSkipOutputs()
        Returns the outputs for which all transitions should be removed.

        That is, before the model checker tries to find a counter example to the automaton every transition which output symbol is in the returned collection is removed.

        the outputs.
      • setSkipOutputs

        void setSkipOutputs​(Collection<? super O> skipOutputs)
        Sets the outputs which should be skipped.
        skipOutputs - the outputs.
        See Also: