Package org.sosy_lab.java_smt.api

Interface StringFormula

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