Uses of Class
jtp.gmp.ClauseOrientation

Packages that use ClauseOrientation

jtp.demod
jtp.frame.fc
jtp.gmp	Provides a knowledge store for Clauses and Generalized Modus Ponens reasoning capability.

Uses of ClauseOrientation in jtp.demod

Methods in jtp.demod that return ClauseOrientation

static ClauseOrientation

DemodUtils.substituteClauseOrientation(ClauseOrientation co, Map substMap, Collection substitutionsMade)

Methods in jtp.demod with parameters of type ClauseOrientation

static ClauseOrientation

DemodUtils.substituteClauseOrientation(ClauseOrientation co, Map substMap, Collection substitutionsMade)

Uses of ClauseOrientation in jtp.frame.fc

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

protected Literal	SimpleRuleCreator.formTargetLiteral(ClauseOrientation co, Symbol id)
void	BackwardChainingStorage.addRule(ClauseOrientation co)

Uses of ClauseOrientation in jtp.gmp

Methods in jtp.gmp that return ClauseOrientation

static ClauseOrientation[]

ClauseOrientation.produceOrientations(Clause cl) Given a Clause cl with n Literals, returns an array with n ClauseOrientations.

Methods in jtp.gmp with parameters of type ClauseOrientation

static boolean

Utils.unify(Literal goal, ClauseOrientation hc, Collection vars, List varStack) Performs unification of a goal with the head of the clause orientation.