SMTExpr.Binding

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.SMTExpr.Binding

All Implemented Interfaces:: IExpr.IBinding, INode, IPos.IPosable

Enclosing class:: SMTExpr

public static class SMTExpr.Binding extends Pos.Printable implements IExpr.IBinding

Represents a let-binding: a symbol bound to an expression.

Field Summary

Fields

Modifier and Type

Field

Description

protected IExpr

expression

protected IExpr.ISymbol

parameter

Fields inherited from class org.smtlib.impl.Pos.Posable
pos
Constructor Summary

Constructors

Constructor

Description

Binding(IExpr.ISymbol parameter, IExpr expr)

Creates a binding of the given symbol to the given expression.
Method Summary

Modifier and Type

Method

Description

<T> T

accept(IVisitor<T> v)

The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }

IExpr

expr()

IExpr.ISymbol

parameter()

Methods inherited from class org.smtlib.impl.Pos.Printable
toString

Methods inherited from class org.smtlib.impl.Pos.Posable
equals, hashCode, pos, setPos

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

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

Field Details
- parameter
  
  protected IExpr.ISymbol parameter
- expression
  
  protected IExpr expression
Constructor Details
- Binding
  
  public Binding(IExpr.ISymbol parameter, IExpr expr)
  
  Creates a binding of the given symbol to the given expression.
Method Details
- parameter
  
  public IExpr.ISymbol parameter()
  
  Specified by:
  
  parameter in interface IExpr.IBinding
- expr
  
  public IExpr expr()
  
  Specified by:
  
  expr in interface IExpr.IBinding
- accept
  
  public <T> T accept(IVisitor<T> v) throws IVisitor.VisitorException
  
  Description copied from interface: INode
  
  The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
  
  Specified by:
  
  accept in interface INode
  
  Type Parameters:
  
  T - the return type desired from the visit methods
  
  Parameters:
  
  v - the visitor class
  
  Returns:
  
  the value returned by the visit method
  
  Throws:
  
  IVisitor.VisitorException