Package org.oristool.models.stpn.trees

Class TruncationPolicy

java.lang.Object
org.oristool.models.stpn.trees.TruncationPolicy
All Implemented Interfaces:
EnumerationPolicy
public final class TruncationPolicy extends Object implements EnumerationPolicy
Priority policy halting the enumeration on dropRegenerative leaves or when the total reaching (before time limit) probability of nodes to be expanded is lower than epsilon (or both).

  • Constructor Details

    • TruncationPolicy

      public TruncationPolicy(BigDecimal epsilon, OmegaBigDecimal tauAgeLimit)
      Builds a truncation policy for a given time limit and allowed error (total probability mass of discarded nodes).

      Nodes with higher probability are expanded first.

      Parameters:
      epsilon - allowed error
      tauAgeLimit - time bound

  • Method Details

    • getTauAgeLimit

      public OmegaBigDecimal getTauAgeLimit()

    • getEpsilon

      public BigDecimal getEpsilon()

    • add

      public void add(Succession succession)
      Description copied from interface: EnumerationPolicy
      Adds the succession child as a new state to be explored.
      Specified by:
      add in interface EnumerationPolicy
      Parameters:
      succession - succession to be added

    • remove

      public Succession remove()
      Description copied from interface: EnumerationPolicy
      Extracts a succession: its child node is the next state to be explored.
      Specified by:
      remove in interface EnumerationPolicy
      Returns:
      succession with next state

    • isEmpty

      public boolean isEmpty()
      Description copied from interface: EnumerationPolicy
      Checks whether the set of states to explore is empty.
      Specified by:
      isEmpty in interface EnumerationPolicy
      Returns:
      true if no more states should be explored.