public class CNF
extends java.lang.Object
Constructor and Description |
---|
CNF() |
Modifier and Type | Method and Description |
---|---|
CNF |
applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
Apply variable substitutions to this set of clauses
|
void |
clearBound() |
void |
clearPreserve() |
void |
copyBoundFlags(CNF cnf)
Copy bound flags to this set of clauses
|
CNF |
deepCopy() |
boolean |
empty() |
boolean |
equals(java.lang.Object o) |
static void |
main(java.lang.String[] args)
A test method
|
void |
merge(CNF cnf) |
static CNF |
parseSimple(Lexer lex)
Only positive clauses, no disjuncts, which is the output format
of the Stanford Dependency Parser
|
void |
preProcessQuestionWords(java.util.List<java.lang.String> qwords) |
CNF |
removeBound() |
static void |
testContains()
A test method
|
static void |
testEquality()
A test method
|
static void |
testMerge()
A test method
|
static void |
testParseSimple()
A test method
|
static void |
testUnify()
A test method
|
java.lang.String |
toString() |
java.util.HashMap<java.lang.String,java.lang.String> |
unify(CNF cnf)
Unify this CNF with the argument.
|
public java.util.ArrayList<Clause> clauses
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public CNF deepCopy()
public boolean empty()
public void preProcessQuestionWords(java.util.List<java.lang.String> qwords)
public void clearBound()
public void clearPreserve()
public void merge(CNF cnf)
public CNF removeBound()
public static CNF parseSimple(Lexer lex)
public CNF applyBindings(java.util.HashMap<java.lang.String,java.lang.String> bindings)
public void copyBoundFlags(CNF cnf)
public java.util.HashMap<java.lang.String,java.lang.String> unify(CNF cnf)
public static void testMerge()
public static void testParseSimple()
public static void testEquality()
public static void testContains()
public static void testUnify()
public static void main(java.lang.String[] args)