Class GeneralGraph

  • All Implemented Interfaces:
    java.lang.Cloneable

    public class GeneralGraph
    extends java.lang.Object
    implements java.lang.Cloneable
    • Field Detail

      • nodes

        public java.util.List<Node> nodes
      • num_vars

        public int num_vars
      • node_map

        public gnu.trove.map.TObjectIntMap<Node> node_map
      • dpath

        public int[][] dpath
      • ambiguous_triples

        public java.util.List<org.processmining.plugins.InductiveMiner.Triple<Node,​Node,​Node>> ambiguous_triples
      • underline_triples

        public java.util.List<org.processmining.plugins.InductiveMiner.Triple<Node,​Node,​Node>> underline_triples
      • dotted_underline_triples

        public java.util.List<org.processmining.plugins.InductiveMiner.Triple<Node,​Node,​Node>> dotted_underline_triples
      • pattern

        public boolean pattern
      • pag

        public boolean pag
      • attributes

        public java.util.Map<java.lang.Object,​java.lang.Object> attributes
    • Constructor Detail

      • GeneralGraph

        public GeneralGraph​(java.util.List<Node> nodes)
    • Method Detail

      • reconstitute_dpath

        public void reconstitute_dpath​(java.util.List<Edge> edges)
      • adjust_dpath

        public void adjust_dpath​(int i,
                                 int j)
      • get_edge

        public Edge get_edge​(Node node1,
                             Node node2)
      • remove_edge

        public void remove_edge​(Edge edge)
      • get_graph_edges

        public java.util.List<Edge> get_graph_edges()
      • add_edge

        public boolean add_edge​(Edge edge)
      • is_ancestor_of

        public boolean is_ancestor_of​(Node node1,
                                      Node node2)
      • clone

        public GeneralGraph clone()
        Overrides:
        clone in class java.lang.Object