org.sosy_lab.solver.api

Class FunctionDeclaration

java.lang.Object

org.sosy_lab.solver.api.FunctionDeclaration

public class FunctionDeclaration
extends Object

Declaration of function.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
FunctionDeclarationKind	getKind() Get type of the declaration.
String	getName() Name of the function.
int	hashCode()
static FunctionDeclaration	of(String name, FunctionDeclarationKind kind)
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

of

public static FunctionDeclaration of(String name,
                     FunctionDeclarationKind kind)

getKind

public FunctionDeclarationKind getKind()

Get type of the declaration.

getName

public String getName()

Name of the function. For variables and UF's, it's the user-supplied name. For default theories, it is the operator name (e.g. "ITE" for the if-then-else operator.)

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(@Nullable
             Object o)

Overrides:

equals in class Object