Utilities

java.lang.Object
- net.sf.tweety.arg.delp.Utilities

```
class Utilities
extends java.lang.Object
```
Utility functions for test classes to access KBs etc.

Author:

Linda.Briesemeister

Field Summary

Fields
Modifier and Type	Field	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 Summary

Constructors
Constructor Description

Utilities()

Method Summary

Modifier and Type Method Description

(package private) static java.lang.String getKB(java.lang.String resourceName)
Get knowledge base as a String from the named test resource.
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - compareLiterals
```
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... ) A(Y) < A(X,Z) (... then arity, ...) A(Z,X) < A(Z,Y) (... then names of arguments)
  - compareRules
```
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 Detail
  - Utilities
```
Utilities()
```
- Method Detail
  - getKB
```
static java.lang.String getKB(java.lang.String resourceName)
                       throws java.io.IOException
```
    Get knowledge base as a String from the named test resource.
    
    Parameters:
    
    resourceName - name of the text file with the KB
    
    Returns:
    
    knowledge base as a String
    
    Throws:
    
    java.io.IOException - if text file cannot be read