Interface TermLiteral<T>

All Superinterfaces:

Literal

All Known Implementing Classes:

AssignLiteral, CheckLiteral

public interface TermLiteral<T>
extends Literal

Method Summary

Modifier and Type	Method	Description
Term<T>	getTerm()
TermLiteral<T>	withTerm(Term<T> term)

Methods inherited from interface Literal

equalsWithSubstitution, getInputVariables, getOutputVariables, getPrivateVariables, hashCodeWithSubstitution, reduce, substitute

Method Details

getTerm

Term<T> getTerm()

withTerm

TermLiteral<T> withTerm(Term<T> term)