Package org.smtlib.impl

Class Sort.Abbreviation

java.lang.Object

org.smtlib.impl.Pos.Posable

org.smtlib.impl.Pos.Printable

org.smtlib.impl.Sort.Abbreviation

All Implemented Interfaces:

INode, IPos.IPosable, ISort.IAbbreviation, ISort.IDefinition

Enclosing class:

Sort

public static class Sort.Abbreviation
extends Pos.Printable
implements ISort.IAbbreviation

Implements a Sort abbreviation (parameterized definition, possibly with no parameters)

Field Summary

Fields

Modifier and Type	Field	Description
protected IExpr.IIdentifier	identifier
protected List<ISort.IParameter>	parameters
protected ISort	sortExpression

Fields inherited from class org.smtlib.impl.Pos.Posable

pos

Constructor Summary

Constructors

Constructor	Description
Abbreviation(IExpr.IIdentifier identifier, List<ISort.IParameter> parameters, ISort sortExpression)	Creates a sort abbreviation with the given identifier, parameter list, and defining 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); }
boolean	equals(Object o)
ISort	eval(List<ISort> sorts)	A new sort expression that results from applying the sort symbol to a list of sort expressions
int	hashCode()
IExpr.IIdentifier	identifier()	The identifier of the abbreviation
int	intArity()	The arity of the symbol
List<ISort.IParameter>	parameters()	The list of parameters of the abbreviation (possibly empty, but not null)
ISort	sortExpression()	The sort expression that the abbreviation represents, presumably using the given parameters

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

toString

Methods inherited from class org.smtlib.impl.Pos.Posable

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

identifier

protected IExpr.IIdentifier identifier

parameters

protected List<ISort.IParameter> parameters

sortExpression

protected ISort sortExpression

Constructor Details

Abbreviation

public Abbreviation(IExpr.IIdentifier identifier,
 List<ISort.IParameter> parameters,
 ISort sortExpression)

Creates a sort abbreviation with the given identifier, parameter list, and defining expression.

Method Details

identifier

public IExpr.IIdentifier identifier()

Description copied from interface: ISort.IAbbreviation

The identifier of the abbreviation

Specified by:

identifier in interface ISort.IAbbreviation

Specified by:

identifier in interface ISort.IDefinition

parameters

public List<ISort.IParameter> parameters()

Description copied from interface: ISort.IAbbreviation

The list of parameters of the abbreviation (possibly empty, but not null)

Specified by:

parameters in interface ISort.IAbbreviation

sortExpression

public ISort sortExpression()

Description copied from interface: ISort.IAbbreviation

The sort expression that the abbreviation represents, presumably using the given parameters

Specified by:

sortExpression in interface ISort.IAbbreviation

intArity

public int intArity()

Description copied from interface: ISort.IDefinition

The arity of the symbol

Specified by:

intArity in interface ISort.IDefinition

eval

public ISort eval(List<ISort> sorts)

Description copied from interface: ISort.IDefinition

A new sort expression that results from applying the sort symbol to a list of sort expressions

Specified by:

eval in interface ISort.IDefinition

equals

public boolean equals(Object o)

Overrides:

equals in class Pos.Posable

hashCode

public int hashCode()

Overrides:

hashCode in class Pos.Posable

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