Modifier and Type | Method and Description |
---|---|
Substitution |
EqualityHandlerConverter.convert(Substitution s) |
Modifier and Type | Method and Description |
---|---|
Predicate |
AdHocResultSet2PredicateConverter.convert(ResultSet result) |
Term |
AdHocResultSet2TermConverter.convert(ResultSet result) |
Modifier and Type | Method and Description |
---|---|
Substitution |
ResultSet2SubstitutionConverter.convert(ResultSet result) |
Modifier and Type | Method and Description |
---|---|
T |
Converter.convert(U object) |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.