S
- The type of formulas used in the evaluation.T
- The type of belief bases used in the evaluation.public class PostulateEvaluator<S extends Formula,T extends BeliefSet<S>>
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private PostulateEvaluatable<S> |
ev
The approach being evaluated.
|
private BeliefSetIterator<S,T> |
iterator
The belief base sampler used to test the rationality postulates
|
private java.util.List<Postulate<S>> |
postulates
the list of postulates the approach is evaluated against
|
Constructor and Description |
---|
PostulateEvaluator(BeliefSetIterator<S,T> iterator,
PostulateEvaluatable<S> ev)
Creates a new evaluator for the given evaluatable and
belief base generator.
|
PostulateEvaluator(BeliefSetIterator<S,T> iterator,
PostulateEvaluatable<S> ev,
java.util.Collection<Postulate<S>> postulates)
Creates a new evaluator for the given evaluatable and
belief base generator.
|
Modifier and Type | Method and Description |
---|---|
void |
addPostulate(Postulate<S> p)
Adds the given postulate
|
PostulateEvaluationReport<S> |
evaluate(long num)
Evaluates all postulates of this evaluator on the given
approach on
num belief bases generated by
the sampler of this evaluator. |
PostulateEvaluationReport<S> |
evaluate(long num,
boolean stopWhenFailed)
Evaluates all postulates of this evaluator on the given
approach on
num belief bases generated by
the sampler of this evaluator. |
boolean |
removePostulate(Postulate<S> p)
Removes the given postulate
|
private BeliefSetIterator<S extends Formula,T extends BeliefSet<S>> iterator
private PostulateEvaluatable<S extends Formula> ev
public PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev, java.util.Collection<Postulate<S>> postulates)
iterator
- some belief set iteratorev
- some evaluatablepostulates
- a set of postulatespublic PostulateEvaluator(BeliefSetIterator<S,T> iterator, PostulateEvaluatable<S> ev)
iterator
- some belief set iteratorev
- some evaluatablepublic void addPostulate(Postulate<S> p)
p
- some postulatepublic boolean removePostulate(Postulate<S> p)
p
- some postulatepublic PostulateEvaluationReport<S> evaluate(long num, boolean stopWhenFailed)
num
belief bases generated by
the sampler of this evaluator.num
- the number of belief bases to be applied.stopWhenFailed
- if true the evaluation of one postulate
will be stopped once a violation has been encountered.public PostulateEvaluationReport<S> evaluate(long num)
num
belief bases generated by
the sampler of this evaluator. The evaluation of any
one postulate will be stopped once a violation has been
encountered.num
- the number of belief bases to be applied.