Uses of Class
jtp.frame.fc.RuleCreationReasoningStep

Packages that use RuleCreationReasoningStep

jtp.frame.fc
jtp.proof.transform

Uses of RuleCreationReasoningStep in jtp.frame.fc

Subclasses of RuleCreationReasoningStep in jtp.frame.fc

class

ActionCreationReasoningStep

Methods in jtp.frame.fc that return RuleCreationReasoningStep

protected RuleCreationReasoningStep

RuleCreationReasoningStep.createChildlessClone()

Methods in jtp.frame.fc with parameters of type RuleCreationReasoningStep

protected RuleTriggeringProofStep

TrueLinkCreator.formRuleClause(Clause cl, Variable linkVar, Literal head, Literal source, RuleCreationReasoningStep rrs)

Constructors in jtp.frame.fc with parameters of type RuleCreationReasoningStep

UnrollingRuleAction(Clause cl, Literal ruleLit, String id, RuleCreationReasoningStep ruleStep, List triggers)

Uses of RuleCreationReasoningStep in jtp.proof.transform

Methods in jtp.proof.transform that return RuleCreationReasoningStep

protected RuleCreationReasoningStep

UnrolledRulesTransformer.findOriginalRule(RuleCreationReasoningStep unrolledRule, List triggerProofs) Finds the original rule and returns it.

Methods in jtp.proof.transform with parameters of type RuleCreationReasoningStep

protected RuleCreationReasoningStep

UnrolledRulesTransformer.findOriginalRule(RuleCreationReasoningStep unrolledRule, List triggerProofs) Finds the original rule and returns it.