Class TranslatorUtils
java.lang.Object
tools.refinery.store.reasoning.translator.TranslatorUtils
-
Method Summary
Modifier and TypeMethodDescriptionstatic NodeVariable[]
createParameters
(int arity, AbstractQueryBuilder<?> builder) static Dnf
createSupersetHelper
(PartialRelation predicate, Set<PartialRelation> supersets) static Dnf
createSupersetHelper
(PartialRelation linkType, Set<PartialRelation> supersets, Set<PartialRelation> oppositeSupersets)
-
Method Details
-
createParameters
-
createSupersetHelper
-
createSupersetHelper
public static Dnf createSupersetHelper(PartialRelation linkType, Set<PartialRelation> supersets, Set<PartialRelation> oppositeSupersets)
-