Class CredibilityRevisionNonIterative<T extends Formula>

java.lang.Object
org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<T>
org.tweetyproject.beliefdynamics.CredibilityRevision<T>
org.tweetyproject.beliefdynamics.CredibilityRevisionNonIterative<T>
Type Parameters:
T - The type of the belief base
All Implemented Interfaces:
BaseRevisionOperator<T>
Direct Known Subclasses:
CredibilityRevision

public abstract class CredibilityRevisionNonIterative<T extends Formula> extends CredibilityRevision<T>
Implements the revision method with two belief bases by delegating the processing to the revision method bases on an ordered list of belief bases. It acts as base class for revision approaches which support the revision of multiple belief bases in one step.
Author:
Tim Janus