IExpr.IBinding

All Superinterfaces:: INode, IPos.IPosable

All Known Implementing Classes:: SMTExpr.Binding

Enclosing interface:: IExpr

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

This interface represents a binding of a parameter and an expression

Method Summary

Modifier and Type

Method

Description

IExpr

expr()

IExpr.ISymbol

parameter()

Methods inherited from interface org.smtlib.INode
accept

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

Method Details
- parameter
  
  IExpr.ISymbol parameter()
- expr
  
  IExpr expr()