Class RuleApplicationStepResult

java.lang.Object

fr.inria.rules.integraal.forward_chaining.chase.RuleApplicationStepResult

public class RuleApplicationStepResult
extends Object

This object represents the result of a step of the chase It contains the applied rules and the created facts

Constructor Summary

Constructors

Constructor	Description
RuleApplicationStepResult(Collection<FORule> applied_rules, FactBase created_facts)	Constructor with rules and facts
RuleApplicationStepResult(Collection<FORule> applied_rules, Collection<Atom> created_facts)	Constructor with rules and facts

Method Summary

Modifier and Type	Method	Description
Collection<FORule>	applied_rules()	Returns the rules applied during the step.
FactBase	created_facts()	Returns the facts created during the step.
String	describe()	Returns a textual summary of the step result.

Methods inherited from class Object

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

Constructor Details

RuleApplicationStepResult

public RuleApplicationStepResult(Collection<FORule> applied_rules,
 Collection<Atom> created_facts)

Constructor with rules and facts

Parameters:

applied_rules - rules applied at the step

created_facts - facts created at the step

RuleApplicationStepResult

public RuleApplicationStepResult(Collection<FORule> applied_rules,
 FactBase created_facts)

Constructor with rules and facts

Parameters:

applied_rules - rules applied at the step

created_facts - facts created at the step

Method Details

applied_rules

public Collection<FORule> applied_rules()

Returns the rules applied during the step.

Returns:

the rules applied at the step

created_facts

public FactBase created_facts()

Returns the facts created during the step.

Returns:

the facts created at the step

describe

public String describe()

Returns a textual summary of the step result.

Returns:

a textual summary of the last chase step