public class PredVarInst
extends java.lang.Object
Constructor and Description |
---|
PredVarInst() |
Modifier and Type | Method and Description |
---|---|
static void |
arityTest()
This method tries to remove literals from the Formula that
match litArr.
|
protected static java.util.HashSet<java.lang.String> |
gatherPredVars(Formula f)
Collect and return all predicate variables for the given formula
|
static java.lang.String |
hasCorrectArity(Formula f,
KB kb)
If arity is correct, return null, otherwise, return the predicate
that has its arity violated in the given formula.
|
static java.util.Set<Formula> |
instantiatePredVars(Formula input,
KB kb) |
static void |
main(java.lang.String[] args) |
static void |
test() |
public static java.util.Set<Formula> instantiatePredVars(Formula input, KB kb)
input
- formulakb
- knowledge basepublic static java.lang.String hasCorrectArity(Formula f, KB kb)
protected static java.util.HashSet<java.lang.String> gatherPredVars(Formula f)
public static void arityTest()
public static void test()
public static void main(java.lang.String[] args)