static boolean find ( Map < List < TemporalExtendedPropositionDefinition > , Relation > epdToRelation , List < List < TemporalExtendedPropositionDefinition > > epdPairs , Map < TemporalExtendedPropositionDefinition , TemporalProposition > potentialInstance ) { /* * Loop through the abstraction definition pairs for each defined * relation. If a relation is not found, then set found to false. */ for ( List < TemporalExtendedPropositionDefinition > tepd : epdPairs ) { if ( ! hasRelation ( epdToRelation , potentialInstance , tepd ) ) { return false ; } } return true ; }
Determines if a list of abstract parameters satisfies a complex abstraction definition .