Package org.processmining.primeminer.models

Class PesNode

  • public class PesNode
extends java.lang.Object
    Model of a node of PrimeEventStructure This node holds the name, the previous Arcs, the next Arcs and the coset
    Author:
    Robin Bergenthum, Raphael Meyer

    • Constructor Summary

      Constructors 
      Constructor Description
      PesNode()
      Default constructor with empty name
      PesNode​(java.lang.String name)
      Constructor which takes name of a PesNode

    • Constructor Detail

      • PesNode

        public PesNode()
        Default constructor with empty name

      • PesNode

        public PesNode​(java.lang.String name)
        Constructor which takes name of a PesNode
        Parameters:
        name - the name of the PesNode

    • Method Detail

      • getPreNodes

        public java.util.ArrayList<PesNode> getPreNodes()
        Returns:
        the previous nodes of the current PesNode

      • getPostNodes

        public java.util.ArrayList<PesNode> getPostNodes()
        Returns:
        the nodes after the current node

      • getCoset

        public java.util.ArrayList<java.lang.Integer> getCoset()
        Returns:
        the cosets of current PesNode

      • setCoset

        public void setCoset​(java.util.ArrayList<java.lang.Integer> coset)
        Parameters:
        coset - set the cosets of current PesNode

      • getName

        public java.lang.String getName()
        Returns:
        the name of the current PesNode

      • setName

        public void setName​(java.lang.String name)
        Parameters:
        name - set the name of the current PesNode

      • getPre

        public java.util.ArrayList<PesArc> getPre()
        Returns:
        the previous arcs of current PesNode

      • setPre

        public void setPre​(java.util.ArrayList<PesArc> pre)
        Parameters:
        pre - set the previous arcs of current PesNode

      • getPost

        public java.util.ArrayList<PesArc> getPost()
        Returns:
        post arcs of current PesNode

      • setPost

        public void setPost​(java.util.ArrayList<PesArc> post)
        Parameters:
        post - set post arcs of current PesNode