Class TSMinerModirInput


  • public class TSMinerModirInput
    extends java.lang.Object
    Transition System Mode-Direction Input. Transition system miner settings for a single combination of Mode and Direction.
    Version:
    0.1
    Author:
    Eric Verbeek
    • Constructor Summary

      Constructors 
      Constructor Description
      TSMinerModirInput()
      Default settings.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      TSAbstractions getAbstraction()
      Returns the abstraction.
      java.util.Collection<java.lang.String> getFilter()
      Returns the filter.
      int getFilteredHorizon()
      Returns the number of filtered steps to take.
      int getHorizon()
      Returns the number of steps to take.
      boolean getUse()
      Returns whether these settings are selected for use.
      TSAbstractions setAbstraction​(TSAbstractions newAbstraction)
      Sets the abstraction.
      int setFilteredHorizon​(int newFilteredHorizon)
      Sets the number of filtered steps to take.
      int setHorizon​(int newHorizon)
      Sets the number of steps to take.
      boolean setUse​(boolean newUse)
      Sets whether these settings should be selected for use.
      • Methods inherited from class java.lang.Object

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

      • TSMinerModirInput

        public TSMinerModirInput()
        Default settings.
    • Method Detail

      • getUse

        public boolean getUse()
        Returns whether these settings are selected for use.
        Returns:
        Whether these settings are selected for use.
      • setUse

        public boolean setUse​(boolean newUse)
        Sets whether these settings should be selected for use.
        Parameters:
        newUse - The new value.
        Returns:
        The old value.
      • getHorizon

        public int getHorizon()
        Returns the number of steps to take.
        Returns:
        The number of steps to take.
      • setHorizon

        public int setHorizon​(int newHorizon)
        Sets the number of steps to take.
        Parameters:
        newHorizon - The new value.
        Returns:
        The old value.
      • getAbstraction

        public TSAbstractions getAbstraction()
        Returns the abstraction.
        Returns:
        The abstraction.
      • setAbstraction

        public TSAbstractions setAbstraction​(TSAbstractions newAbstraction)
        Sets the abstraction.
        Parameters:
        newAbstraction - The new value.
        Returns:
        The old value.
      • getFilter

        public java.util.Collection<java.lang.String> getFilter()
        Returns the filter.
        Returns:
        The filter.
      • getFilteredHorizon

        public int getFilteredHorizon()
        Returns the number of filtered steps to take.
        Returns:
        The number of filtered steps to take.
      • setFilteredHorizon

        public int setFilteredHorizon​(int newFilteredHorizon)
        Sets the number of filtered steps to take.
        Parameters:
        newFilteredHorizon - The new value.
        Returns:
        The old value.