Uses of Interface
jtp.fol.CNFSentence

Packages that use CNFSentence

jtp.demod
jtp.fol	Provides classes representing structures of first order logic.
jtp.fol.parser
jtp.modelim	Contains general-purpose reasoners, including a telling control reasoner, an asking control reasoner, and reasoners that implement the model elimination procedure.
jtp.proof	Classes supporting JTP's implementation of InferenceWeb proofs.
jtp.time.demod
jtp.ui.rs

Uses of CNFSentence in jtp.demod

Methods in jtp.demod that return CNFSentence

static CNFSentence

DemodUtils.substitute(CNFSentence sent, Map substMap, Collection substitutionsMade)

Methods in jtp.demod with parameters of type CNFSentence

DemodulationReasoningStep	DemodulationReasoner.translateGoal(CNFSentence s)
static CNFSentence	DemodUtils.substitute(CNFSentence sent, Map substMap, Collection substitutionsMade)

Uses of CNFSentence in jtp.fol

Subinterfaces of CNFSentence in jtp.fol

interface	Clause A disjunction of Literals.
interface	Literal This interface represents a first-order logic literal, that is, a simple relation-based sentence of the form (<rel> <arg1> <arg2> …) or (not (<rel> <arg1> <arg2> …)).

Classes in jtp.fol that implement CNFSentence

class	DefaultClause Default implementation of Clause.
class	DefaultCNFSentence Default implementation of CNFSentence.
class	DefaultLiteral Default implementation of Literal.

Methods in jtp.fol that return CNFSentence

static CNFSentence	SubstUtils.deReferenceSentence(CNFSentence s) Returns a CNFSentence based on s in which Variables in its clauses' literals' arguments have been replaced by the values that they are bound to.
static CNFSentence	SubstUtils.replaceVariables(CNFSentence s) Replaces all Variables in a sentence.
CNFSentence	CanonicalVariables.canonicalize(CNFSentence arg)
protected CNFSentence	CanonicalVariables.canonicalize_internal(CNFSentence sent)

Methods in jtp.fol with parameters of type CNFSentence

static String	SubstUtils.printCNFSentence(CNFSentence s) Printing method for CNFSentences.
static CNFSentence	SubstUtils.deReferenceSentence(CNFSentence s) Returns a CNFSentence based on s in which Variables in its clauses' literals' arguments have been replaced by the values that they are bound to.
static CNFSentence	SubstUtils.replaceVariables(CNFSentence s) Replaces all Variables in a sentence.
static boolean	SubstUtils.variableIndependentEquals(CNFSentence s1, CNFSentence s2) Determines if two sentences are identical even though they contain different free variables.
static boolean	SubstUtils.variableIndependentEquals(CNFSentence s1, CNFSentence s2) Determines if two sentences are identical even though they contain different free variables.
static int	SubstUtils.variableIndependentHashCode(CNFSentence s) Hash code function for sentences that returns same value for arguments that are variableIndependentEquals.
CNFSentence	CanonicalVariables.canonicalize(CNFSentence arg)
protected CNFSentence	CanonicalVariables.canonicalize_internal(CNFSentence sent)

Uses of CNFSentence in jtp.fol.parser

Methods in jtp.fol.parser that return CNFSentence

CNFSentence	FirstOrderLogicTranslator.translate(String text) Translates a sentence into CNF.
CNFSentence	ParserBasedTranslator.translate(String text)

Uses of CNFSentence in jtp.modelim

Methods in jtp.modelim that return CNFSentence

CNFSentence

AskingQueryProcessor.translate(String text)

Uses of CNFSentence in jtp.proof

Methods in jtp.proof that return CNFSentence

CNFSentence	UIInference.getInferenceConclusion()
static CNFSentence	ProofUtil.instantiate(CNFSentence sent, Map bindings)
static CNFSentence	ProofUtil.toConjunction(List conj)
CNFSentence	Implication.getSuccedent()

Methods in jtp.proof with parameters of type CNFSentence

static Implication	ProofUtil.toImplication(CNFSentence s)
static CNFSentence	ProofUtil.instantiate(CNFSentence sent, Map bindings)
static Set	ProofUtil.getVars(CNFSentence sent)

Constructors in jtp.proof with parameters of type CNFSentence

UIInference(CNFSentence as, Map b)

Implication(CNFSentence suc)

Implication(CNFSentence suc, List ants)

Uses of CNFSentence in jtp.time.demod

Methods in jtp.time.demod with parameters of type CNFSentence

void	TimePointMapper.mapTimePoints(CNFSentence sent)
void	TimePointMapper.mapTimePoints(CNFSentence sent, boolean mapSymbols)

Uses of CNFSentence in jtp.ui.rs

Methods in jtp.ui.rs with parameters of type CNFSentence

abstract StringBuffer	SentenceFormatPlain.format(CNFSentence s, StringBuffer sb, FieldPosition ignored)
StringBuffer	KIFSentenceFormatPlain.format(CNFSentence s, StringBuffer sb, FieldPosition ignored)
StringBuffer	KIFSentenceFormat.format(CNFSentence s, StringBuffer sb, FieldPosition ignored)
abstract StringBuffer	SentenceFormat.format(CNFSentence s, StringBuffer sb, FieldPosition ignored)
StringBuffer	EnglishSentenceFormat.format(CNFSentence s, StringBuffer sb, FieldPosition ignored)