Interface PostulateEvaluatable<S extends Formula>

  • Type Parameters:
    S - The type of formulas this approach expects.

    public interface PostulateEvaluatable<S extends Formula>
    Classes implementing this interface can be evaluated wrt. rationality postulates through the PostulateEvaluator.java class.
    Author:
    Matthias Thimm