Package org.sosy_lab.java_smt.api

Interface EnumerationFormula

  • All Superinterfaces:
    Formula
    @Immutable
public interface EnumerationFormula
extends Formula
    A formula of the enumeration sort.