Package org.sosy_lab.java_smt.api

Interface BooleanFormula

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