Class IsomorphismCandidate


  • public class IsomorphismCandidate
    extends java.lang.Object
    • Constructor Detail

      • IsomorphismCandidate

        public IsomorphismCandidate​(ESTPartialOrder pTraceOfTarget,
                                    ESTPartialOrder pTraceOfCandidates,
                                    java.lang.Integer target,
                                    java.util.Collection<java.lang.Integer> candidates)
    • Method Detail

      • getTarget

        public java.lang.Integer getTarget()
      • getCandidates

        public java.util.Collection<java.lang.Integer> getCandidates()
      • getIngoingIndicesOfCandidate

        public java.util.Collection<java.lang.Integer> getIngoingIndicesOfCandidate​(int candidate)
      • getOutgoingIndicesOfCandidate

        public java.util.Collection<java.lang.Integer> getOutgoingIndicesOfCandidate​(int candidate)
      • getIngoingIndicesOfTarget

        public java.util.Collection<java.lang.Integer> getIngoingIndicesOfTarget()
      • getOutgoingIndicesOfTarget

        public java.util.Collection<java.lang.Integer> getOutgoingIndicesOfTarget()
      • getIngoingEventNamesOfTarget

        public java.util.ArrayList<java.lang.String> getIngoingEventNamesOfTarget()
      • updateCandidatesUsingFilter

        public void updateCandidatesUsingFilter​(java.util.HashMap<java.lang.Integer,​java.lang.Integer> mappingToFit)
      • getTargetPTraceEventName

        public java.lang.String getTargetPTraceEventName​(java.lang.Integer id)
      • getCandidatePTraceEventName

        public java.lang.String getCandidatePTraceEventName​(java.lang.Integer id)