class Utilities
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static java.util.Comparator<FolFormula> |
compareLiterals
Compare DeLP literals as they arise in rules, i.e.,
~B < A (negation is always smaller)
A < B (atoms = predicates are sorted by predicate name first...
|
(package private) static java.util.Comparator<DelpRule> |
compareRules
Compare DeLP rules:
1) compare heads (conclusion) as literals
2) if the same, then
a) DelpFact < StrictRule < DefeasibleRule
b) within same subclass, compare set of literals...
|
Constructor and Description |
---|
Utilities() |
Modifier and Type | Method and Description |
---|---|
(package private) static java.lang.String |
getKB(java.lang.String resourceName)
Get knowledge base as a String from the named test resource.
|
static java.util.Comparator<FolFormula> compareLiterals
static java.util.Comparator<DelpRule> compareRules
static java.lang.String getKB(java.lang.String resourceName) throws java.io.IOException
resourceName
- name of the text file with the KBjava.io.IOException
- if text file cannot be read