Package org.tweetyproject.commons.postulates
package org.tweetyproject.commons.postulates
-
InterfaceDescriptionModels a general (rationality) postulate, i.e.PostulateEvaluatable<S extends Formula>Classes implementing this interface can be evaluated wrt.
-
ClassDescriptionPostulateEvaluationReport<S extends Formula>Summarises the results of a postulate evaluation.Evaluates some approach (reasoner, measure, etc.) wrt.