Uses of Class
jtp.frame.fc.RuleTriggeringProofStep

Packages that use RuleTriggeringProofStep

jtp.frame.fc

Uses of RuleTriggeringProofStep in jtp.frame.fc

Methods in jtp.frame.fc that return RuleTriggeringProofStep

protected RuleTriggeringProofStep

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