hub / github.com/ModelInference/synoptic / getBiRelationalPath

Method getBiRelationalPath

synoptic/src/synoptic/model/Trace.java:135–197 · view source on GitHub ↗

Returns a single RelationPath where each subgraph of the relation type is transitively connected through the transitiveRelation. Returns null if no such path exists. @param relation @param transitiveRelation @return

(String relation,
            String transitiveRelation)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 2

computeInvariantsMethod · 0.80

Calls 7

isTerminalMethod · 0.95

getTransitionsWithIntersectingRelationsMethod · 0.95

addMethod · 0.65

getMethod · 0.65

getTargetMethod · 0.65

sizeMethod · 0.45

isEmptyMethod · 0.45

Tested by

no test coverage detected