Uses of Class
model.conciliation.weakening.WeakOperator

Packages that use WeakOperator

model
model.conciliation
model.conciliation.weakening

Uses of WeakOperator in model

Methods in model that return WeakOperator

WeakOperator

ManagerConciliation.getWeakOperator()

Methods in model that return types with arguments of type WeakOperator

java.util.List<WeakOperator>

ManagerConciliation.getListeWeakOperator()

Methods in model with parameters of type WeakOperator

void	ManagerConciliation.setWeakOperator(WeakOperator weakOperator)

Uses of WeakOperator in model.conciliation

Methods in model.conciliation that return WeakOperator

WeakOperator

MergingGame.getWeakOp()

Methods in model.conciliation with parameters of type WeakOperator

void	MergingGame.setWeakOp(WeakOperator weakOp)

Constructors in model.conciliation with parameters of type WeakOperator

MergingGame(Problem pbInitial, ChoiceOperator choiceOp, WeakOperator weakOp)

Uses of WeakOperator in model.conciliation.weakening

Subclasses of WeakOperator in model.conciliation.weakening

class

DrasticOperator This class represents the weakening function in which weakened form of formulae is a tautology