org.sosy_lab.solver

Class AssignableTerm.Function

java.lang.Object

org.sosy_lab.solver.AssignableTerm.Function

All Implemented Interfaces:

AssignableTerm

Enclosing interface:

AssignableTerm

public static class AssignableTerm.Function
extends Object
implements AssignableTerm

A function call can have a concrete return value.

Nested Class Summary

Nested classes/interfaces inherited from interface org.sosy_lab.solver.AssignableTerm

AssignableTerm.Function, AssignableTerm.Variable

Constructor Summary

Constructors

Constructor and Description
Function(String pName, TermType pReturnType, Object[] pArguments)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object pOther)
Object	getArgument(int lArgumentIndex)
int	getArity()
String	getName()
TermType	getType()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Function

public Function(String pName,
                TermType pReturnType,
                Object[] pArguments)

Method Detail

getName

public String getName()

Specified by:

getName in interface AssignableTerm

getType

public TermType getType()

Specified by:

getType in interface AssignableTerm

getArity

public int getArity()

getArgument

public Object getArgument(int lArgumentIndex)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable
                      Object pOther)

Overrides:

equals in class Object