private MatchType getMatchType ( QuerySolution soln ) { if ( soln . contains ( EXACT_VAR ) ) return LogicConceptMatchType . Exact ; if ( soln . contains ( SUPER_VAR ) ) return LogicConceptMatchType . Plugin ; if ( soln . contains ( SUB_VAR ) ) return LogicConceptMatchType . Subsume ; return LogicConceptMatchType . Fail ; }
Obtain the type of Match . The bindings indicate the relationship between the destination and the origin That is the subclasses of origin will have a true value at binding sub