public interface HasFormula
QuantifiedExpression
getFormula()
void
setFormula(QuantifiedExpression e)
void setFormula(QuantifiedExpression e)
QuantifiedExpression getFormula()
Copyright © 2019. All rights reserved.