A C D G I M N P Q R S T

A

app(DefaultRule) - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

C

clone() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

combineWithAnd(Conjuctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

combineWithOr(Disjunctable) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

complement() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

containsQuantifier() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

D

DefaultProcessTree - Class in net.sf.tweety.logics.rdl.semantics

DefaultProcessTree(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree

DefaultRule - Class in net.sf.tweety.logics.rdl.syntax

Models a default rule in Reiter's default logic, see [R.

DefaultRule(FolFormula, Collection<FolFormula>, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule

DefaultSequence - Class in net.sf.tweety.logics.rdl.semantics

DefaultSequence(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence

DefaultSequence(DefaultSequence, DefaultRule) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence

DefaultTheory - Class in net.sf.tweety.logics.rdl

Models a default theory in Reiter's default logic, see [R.

DefaultTheory(FolBeliefSet, Collection<DefaultRule>) - Constructor for class net.sf.tweety.logics.rdl.DefaultTheory

G

getAllExtensions() - Method in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

getAtoms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getConc() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getDefaults() - Method in class net.sf.tweety.logics.rdl.DefaultTheory

getFacts() - Method in class net.sf.tweety.logics.rdl.DefaultTheory

getFunctors() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getIn() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

getJus() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getOut() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

getPre() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getPredicates() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getQuantifierVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getSignature() - Method in class net.sf.tweety.logics.rdl.DefaultTheory

getTerms() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getTerms(Class<C>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getUnboundVariables() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

getUniformProbability() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

I

isClosed() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

isClosed() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isClosed(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isLiteral() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isNormal(DefaultTheory) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isProcess() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

process <=> all defaults are unique and applicable in sequence

isSuccessful() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

successfull <=> no elem in In and Out

isWellBound() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

isWellBound(Set<Variable>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

M

main(String[]) - Static method in class net.sf.tweety.logics.rdl.test.RDLTest

N

NaiveDefaultReasoner - Class in net.sf.tweety.logics.rdl

Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

NaiveDefaultReasoner(BeliefBase) - Constructor for class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

net.sf.tweety.logics.rdl - package net.sf.tweety.logics.rdl

net.sf.tweety.logics.rdl.parser - package net.sf.tweety.logics.rdl.parser

net.sf.tweety.logics.rdl.semantics - package net.sf.tweety.logics.rdl.semantics

net.sf.tweety.logics.rdl.syntax - package net.sf.tweety.logics.rdl.syntax

net.sf.tweety.logics.rdl.test - package net.sf.tweety.logics.rdl.test

P

parseBeliefBase(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser

parseFormula(Reader) - Method in class net.sf.tweety.logics.rdl.parser.RdlParser

Q

query(Formula) - Method in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner

R

RdlParser - Class in net.sf.tweety.logics.rdl.parser

RdlParser() - Constructor for class net.sf.tweety.logics.rdl.parser.RdlParser

RDLTest - Class in net.sf.tweety.logics.rdl.test

RDLTest() - Constructor for class net.sf.tweety.logics.rdl.test.RDLTest

S

substitute(Term<?>, Term<?>) - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

T

toString() - Method in class net.sf.tweety.logics.rdl.DefaultTheory

toString() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence

toString() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule

A C D G I M N P Q R S T