DLV
Class ODIPredicate

java.lang.Object
  DLV.OutputDescriptorItem
      DLV.ODIPredicate

public class ODIPredicate

extends OutputDescriptorItem

This class allows to specify that the output storage device is main memory. MultipleModel generation is supported.

See Also:

OutputDescriptorItem, OutputDescriptor

Constructor Summary

ODIPredicate()

Method Summary

Predicate	buildPredicate(java.lang.String name, int arity, Model m, int modelNumber)
void	flushAndClean()

Methods inherited from class DLV.OutputDescriptorItem

getReplace, multipleModelAllowed, setReplace

Methods inherited from class java.lang.Object

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

Constructor Detail

ODIPredicate

public ODIPredicate()

Method Detail

buildPredicate

public Predicate buildPredicate(java.lang.String name,
                                int arity,
                                Model m,
                                int modelNumber)

Specified by:

buildPredicate in class OutputDescriptorItem

flushAndClean

public void flushAndClean()

Specified by:

flushAndClean in class OutputDescriptorItem