Package org.smtlib

Interface IExpr.IPattern

All Superinterfaces:
INode, IPos.IPosable
All Known Implementing Classes:
SMTExpr.Pattern
Enclosing interface:
IExpr
public static interface IExpr.IPattern extends INode, IPos.IPosable
This interface represents a match pattern: either a bare symbol (variable/nullary-constructor) or a constructor applied to zero or more variable symbols.

  • Method Summary

    Modifier and Type
    Method
    Description
    IExpr.ISymbol
    constructor()
     
    List<IExpr.ISymbol>
    params()
     
    default boolean
    parenthesized()
    True if written in parentheses; (c), with no variables, is not SMT-LIB but is parsed (with an error) so that type checking reports it as well

    Methods inherited from interface org.smtlib.INode

    accept

    Methods inherited from interface org.smtlib.IPos.IPosable

    pos, setPos

  • Method Details

    • constructor

      IExpr.ISymbol constructor()

    • params

      List<IExpr.ISymbol> params()

    • parenthesized

      default boolean parenthesized()
      True if written in parentheses; (c), with no variables, is not SMT-LIB but is parsed (with an error) so that type checking reports it as well