Package tools.refinery.store.reasoning.translator

Class TranslatorUtils

java.lang.Object

tools.refinery.store.reasoning.translator.TranslatorUtils

public final class TranslatorUtils
extends Object

Method Summary

Modifier and Type	Method	Description
static 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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

createParameters

public static NodeVariable[] createParameters(int arity,
 AbstractQueryBuilder<?> builder)

createSupersetHelper

public static Dnf createSupersetHelper(PartialRelation predicate,
 Set<PartialRelation> supersets)

createSupersetHelper

public static Dnf createSupersetHelper(PartialRelation linkType,
 Set<PartialRelation> supersets,
 Set<PartialRelation> oppositeSupersets)