it.unibz.inf.ontop.datalog.impl

Class SliceLifter

java.lang.Object

it.unibz.inf.ontop.datalog.impl.SliceLifter

public class SliceLifter
extends Object

Lifts SLICE nodes above the highest construction node, as required by our Datalog data structure

TEMPORARY CODE (quickly implemented)

Method Summary

Modifier and Type	Method and Description
IQTree	liftSlice(IQTree iqTree)

Methods inherited from class java.lang.Object

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

Method Detail

liftSlice

public IQTree liftSlice(IQTree iqTree)