Package org.sosy_lab.java_smt.api

Interface EnumerationFormula

All Superinterfaces:

Formula

@Immutable
public interface EnumerationFormula
extends Formula

A formula of the enumeration sort.

Method Summary

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

equals, hashCode, toString