net.sf.tweety.arg.delp

Class 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 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 Summary

Constructors

Constructor and Description
Utilities()

Method Summary

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.

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