org.sosy_lab.java_smt.api

Interface NumeralFormula.IntegerFormula

All Superinterfaces:

Formula, NumeralFormula

Enclosing interface:

NumeralFormula

@Immutable
public static interface NumeralFormula.IntegerFormula
extends NumeralFormula

Nested Class Summary

Nested classes/interfaces inherited from interface org.sosy_lab.java_smt.api.NumeralFormula

NumeralFormula.IntegerFormula, NumeralFormula.RationalFormula

Method Summary

Methods inherited from interface org.sosy_lab.java_smt.api.Formula

equals, hashCode, toString