public interface FormulaConsumer
void
setFormula(QuantifiedExpression formula)
void setFormula(QuantifiedExpression formula)
Copyright © 2019. All rights reserved.