Uses of Class
com.articulate.sigma.semRewrite.CNF

Packages that use CNF

Package	Description
com.articulate.sigma.semRewrite

Uses of CNF in com.articulate.sigma.semRewrite

Fields in com.articulate.sigma.semRewrite declared as CNF

Modifier and Type	Field and Description
CNF	Rule.cnf
CNF	RHS.cnf

Methods in com.articulate.sigma.semRewrite that return CNF

Modifier and Type	Method and Description
CNF	CNF.applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings) Apply variable substitutions to this set of clauses
static CNF	Clausifier.clausify(LHS lhs)
CNF	CNF.deepCopy()
static CNF	CNF.parseSimple(Lexer lex) Only positive clauses, no disjuncts, which is the output format of the Stanford Dependency Parser
CNF	CNF.removeBound()
static CNF	RuleSet.testRuleAndClausify() A test method

Methods in com.articulate.sigma.semRewrite that return types with arguments of type CNF

Modifier and Type	Method and Description
protected java.util.ArrayList<CNF>	Interpreter.getCNFInput(java.lang.String input) Method (mainly for testing) to get list of CNFs from input sentence.

Methods in com.articulate.sigma.semRewrite with parameters of type CNF

Modifier and Type	Method and Description
static void	Interpreter.addUnprocessed(java.util.ArrayList<java.lang.String> kifoutput, CNF cnf)
void	CNF.copyBoundFlags(CNF cnf) Copy bound flags to this set of clauses
static boolean	SemRewriteRuleCheck.isCNFSubsumed(CNF subsumer, CNF subsumed) //TODO
static boolean	SemRewriteRuleCheck.isCNFSubsumedNaive(CNF subsumer, CNF subsumed) check if CNF subsumed, naive implementation
void	CNF.merge(CNF cnf)
static void	Interpreter.preProcessQuestionWords(CNF inputs)
java.util.HashMap<java.lang.String,java.lang.String>	CNF.unify(CNF cnf) Unify this CNF with the argument.
static void	RewriteRuleUtil.updateCNF(int index, CNF f, RuleSet rs) update a Ruleset's indexed rule's CNF

Method parameters in com.articulate.sigma.semRewrite with type arguments of type CNF

Modifier and Type	Method and Description
java.util.ArrayList<java.lang.String>	Interpreter.interpretCNF(java.util.ArrayList<CNF> inputs)
java.lang.String	Interpreter.printKB(java.util.ArrayList<CNF> inputs)