io.konig.formula

Class FormulaBuilder.DummyFormulaConsumer

java.lang.Object

io.konig.formula.FormulaBuilder.DummyFormulaConsumer

All Implemented Interfaces:

FormulaConsumer

Enclosing class:

FormulaBuilder

public static class FormulaBuilder.DummyFormulaConsumer
extends Object
implements FormulaConsumer

Constructor Summary

Constructors

Constructor and Description
DummyFormulaConsumer()

Method Summary

Modifier and Type	Method and Description
void	setFormula(QuantifiedExpression formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DummyFormulaConsumer

public DummyFormulaConsumer()

Method Detail

setFormula

public void setFormula(QuantifiedExpression formula)

Specified by:

setFormula in interface FormulaConsumer