IExpr.IMatchCase

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.MatchCase

Enclosing interface:: IExpr

public static interface IExpr.IMatchCase extends INode, IPos.IPosable

This interface represents one case in a match expression: a pattern and its body.

Method Summary

Modifier and Type

Method

Description

IExpr

body()

IExpr.IPattern

pattern()

Methods inherited from interface org.smtlib.INode
accept

Methods inherited from interface org.smtlib.IPos.IPosable
pos, setPos

Method Details
- pattern
  
  IExpr.IPattern pattern()
- body
  
  IExpr body()