Class DelegatedApplication<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.trigger_applier.facts_handler.DelegatedApplication<RW>

Type Parameters:

RW - the writable materialized data type receiving inferred facts

All Implemented Interfaces:

FactsHandler<RW>

public class DelegatedApplication<RW extends MaterializedData & Writable>
extends Object
implements FactsHandler<RW>

Keeps the new facts and delays their addition to the fact base.

Constructor Summary

Constructors

Constructor	Description
DelegatedApplication()	Creates a facts handler that defers inserting inferred facts.

Method Summary

Modifier and Type	Method	Description
FOFormula	add(FOFormula new_facts, RW readWriteData)	Adds the facts to the QueryableWritableData

Methods inherited from class Object

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

Constructor Details

DelegatedApplication

public DelegatedApplication()

Creates a facts handler that defers inserting inferred facts.

Method Details

add

public FOFormula add(FOFormula new_facts,
 RW readWriteData)

Description copied from interface: FactsHandler

Adds the facts to the QueryableWritableData

Specified by:

add in interface FactsHandler<RW extends MaterializedData & Writable>

Parameters:

new_facts - fatcs to add

readWriteData - Writable where to add the new facts

Returns:

the effectively added facts