Class SourceDelegatedDatalogRuleApplier<RW extends MaterializedData & Writable>

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.rule_applier.SourceDelegatedDatalogRuleApplier<RW>

Type Parameters:

RW - the writable materialized data type handled by the applier

All Implemented Interfaces:

RuleApplier<RW>

public class SourceDelegatedDatalogRuleApplier<RW extends MaterializedData & Writable>
extends Object
implements RuleApplier<RW>

The source delegated rule application applies the rules by * Delegating the application to the factbase if it can handle it * Using a fallback method is it can't

Constructor Summary

Constructors

Constructor	Description
SourceDelegatedDatalogRuleApplier()	DEfault constructor with a oblivious/naive chase as fallback
SourceDelegatedDatalogRuleApplier(RuleApplier<RW> fallback)	Constructor with that applied the given chase as fallback

Method Summary

Modifier and Type	Method	Description
RuleApplicationStepResult	apply(Collection<FORule> rules, ChasableData<RW> chasableData)	Applies the given rules on the given data and returns the result (see RuleApplicationStepResult)
String	describe()	Returns a textual description of the rule applier.
String	describeJSON()	Returns a JSON description of the rule applier.
void	init(Chase<RW> c)	Initialize the rule applier for the given chase

Methods inherited from class Object

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

Constructor Details

SourceDelegatedDatalogRuleApplier

public SourceDelegatedDatalogRuleApplier()

DEfault constructor with a oblivious/naive chase as fallback

SourceDelegatedDatalogRuleApplier

public SourceDelegatedDatalogRuleApplier(RuleApplier<RW> fallback)

Constructor with that applied the given chase as fallback

Parameters:

fallback - fallback application

Method Details

init

public void init(Chase<RW> c)

Description copied from interface: RuleApplier

Initialize the rule applier for the given chase

Specified by:

init in interface RuleApplier<RW extends MaterializedData & Writable>

Parameters:

c - the chase object

apply

public RuleApplicationStepResult apply(Collection<FORule> rules,
 ChasableData<RW> chasableData)

Description copied from interface: RuleApplier

Applies the given rules on the given data and returns the result (see RuleApplicationStepResult)

Specified by:

apply in interface RuleApplier<RW extends MaterializedData & Writable>

Parameters:

rules - the rules to apply

chasableData - the data to apply the rules on

Returns:

the result of one application step

describe

public String describe()

Description copied from interface: RuleApplier

Returns a textual description of the rule applier.

Specified by:

describe in interface RuleApplier<RW extends MaterializedData & Writable>

Returns:

a description of the rule applier

describeJSON

public String describeJSON()

Description copied from interface: RuleApplier

Returns a JSON description of the rule applier.

Specified by:

describeJSON in interface RuleApplier<RW extends MaterializedData & Writable>

Returns:

a JSON description of the rule applier