MCPcopy Create free account
hub / github.com/ModelInference/synoptic / intersectWith

Method intersectWith

InvariMint/src/model/InvsModel.java:36–40  ·  view source on GitHub ↗

Intersects this InvsModel with all of the given InvModels and adds each to this model's list of invariants.

(List<InvModel> invs)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 8

createDFAMethod · 0.95
testSubsetOfMethod · 0.95
testIntersectionWithMismatchedEncodingsMethod · 0.95
testIntersectionWithMethod · 0.95
generateModelMethod · 0.95
runInvariMintMethod · 0.45
runInvariMintMethod · 0.45
intersectModelWithInvsMethod · 0.45

Calls 4

addMethod · 0.65
toStringMethod · 0.65
addAllMethod · 0.45
getInvariantMethod · 0.45

Tested by 4

testSubsetOfMethod · 0.76
testIntersectionWithMismatchedEncodingsMethod · 0.76
testIntersectionWithMethod · 0.76
generateModelMethod · 0.76