A B C D E F G I L M N O P R S T U V W

W

weakFormula(Formula) - Method in class model.conciliation.weakening.DrasticOperator

weakFormula(Formula) - Method in class model.conciliation.weakening.WeakOperator

Returns a weakened form of a given formula

WeakOperator - Class in model.conciliation.weakening

This class is the one to extend when one wants to develop its own weakening function in the conciliation tab.

WeakOperator() - Constructor for class model.conciliation.weakening.WeakOperator