org.sosy_lab.solver

Interface AssignableTerm

All Known Implementing Classes:

AssignableTerm.Function, AssignableTerm.Variable

public interface AssignableTerm

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	AssignableTerm.Function A function call can have a concrete return value.
static class	AssignableTerm.Variable

Method Summary

Modifier and Type	Method and Description
String	getName()
TermType	getType()

Method Detail

getType

TermType getType()

getName

String getName()