org.sosy_lab.solver.api

Class UfDeclaration<T extends Formula>

java.lang.Object

org.sosy_lab.solver.api.UfDeclaration<T>

Type Parameters:

T - The type of the return value

public abstract class UfDeclaration<T extends Formula>
extends Object

An uninterpreted function declaration.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	UfDeclaration(FormulaType<T> pReturnType, List<FormulaType<?>> pArgumentTypes)

Method Summary

Methods

Modifier and Type	Method and Description
List<FormulaType<?>>	getArgumentTypes() Types of function arguments.
FormulaType<T>	getReturnType() Function return type.
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

UfDeclaration

protected UfDeclaration(FormulaType<T> pReturnType,
             List<FormulaType<?>> pArgumentTypes)

Method Detail

getArgumentTypes

public List<FormulaType<?>> getArgumentTypes()

Types of function arguments.

getReturnType

public FormulaType<T> getReturnType()

Function return type.

toString

public String toString()

Overrides:

toString in class Object