net.sf.tweety.commons.util.rules

Class Derivation<T extends Rule<?,?>>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractList<E>

java.util.ArrayList<T>

net.sf.tweety.commons.util.rules.Derivation<T>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<T>, java.util.Collection<T>, java.util.List<T>, java.util.RandomAccess

public class Derivation<T extends Rule<?,?>>
extends java.util.ArrayList<T>

This class models a derivation, i.e. a minimal (with respect to set inclusion) sequence of rules [R1, ... ,Rn] such that for any Ri and for any p in the premise of Ri there is an Rj with j > i and the conclusion of Rj equals p.

Author:

Matthias Thimm

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

Constructors

Constructor and Description
Derivation(java.util.List<T> rules) Creates a new derivation with the given sequence of rules.

Method Summary

Modifier and Type	Method and Description
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	allDerivations(java.util.Collection<? extends S> rules) Returns the set of all possible derivations from the set of rules.
static <S extends Rule<?,?>> java.util.Set<Derivation<S>>	allDerivations(java.util.Collection<? extends S> rules, Formula conclusion) Returns the set of all possible derivations with the given conclusion from the set of rules.
boolean	equals(java.lang.Object obj)
Formula	getConclusion() Returns the conclusion of this derivation.
int	hashCode()
boolean	isFounded() Checks whether this derivation is founded, i.e.
boolean	isMinimal() Checks whether this derivation is minimal with respect to set inclusion.

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractCollection

containsAll, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.List

containsAll

Methods inherited from interface java.util.Collection

parallelStream, stream

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

Derivation

public Derivation(java.util.List<T> rules)

Creates a new derivation with the given sequence of rules.

Parameters:

rules - a sequence of rules.

Method Detail

getConclusion

public Formula getConclusion()

Returns the conclusion of this derivation.

Returns:

the conclusion of this derivation.

allDerivations

public static <S extends Rule<?,?>> java.util.Set<Derivation<S>> allDerivations(java.util.Collection<? extends S> rules)

Returns the set of all possible derivations from the set of rules.

Parameters:

rules - a set of rules

Returns:

the set of all possible derivations

allDerivations

public static <S extends Rule<?,?>> java.util.Set<Derivation<S>> allDerivations(java.util.Collection<? extends S> rules,
                                                                                Formula conclusion)

Returns the set of all possible derivations with the given conclusion from the set of rules.

Parameters:

rules - a set of rules

Returns:

the set of all possible derivations with the given conclusion

isFounded

public boolean isFounded()

Checks whether this derivation is founded, i.e. whether every formula appearing in the premise of a rule is also the conclusion of a previous rule.

Returns:

"true" if this derivation is founded.

isMinimal

public boolean isMinimal()

Checks whether this derivation is minimal with respect to set inclusion. This is equivalent to checking whether every conclusion besides the first is used in a premise and no conclusion appear twice.

Returns:

"true" if this derivation is minimal.

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<T extends Rule<?,?>>

Specified by:

hashCode in interface java.util.List<T extends Rule<?,?>>

Overrides:

hashCode in class java.util.AbstractList<T extends Rule<?,?>>

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<T extends Rule<?,?>>

Specified by:

equals in interface java.util.List<T extends Rule<?,?>>

Overrides:

equals in class java.util.AbstractList<T extends Rule<?,?>>