Package org.sosy_lab.java_smt.api

Interface RegexFormula

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