com.ibm.wala.logic
Interface IConstant

All Superinterfaces:

ITerm

All Known Implementing Classes:

AbstractConstant, BooleanConstant, DoubleConstant, FloatConstant, IntConstant, LongConstant, NumberConstant, Wildcard

public interface IConstant
extends ITerm

Nested Class Summary

Nested classes/interfaces inherited from interface com.ibm.wala.logic.ITerm

ITerm.Kind

Method Summary

Methods inherited from interface com.ibm.wala.logic.ITerm

getAllTerms, getConstants, getFreeVariables, getKind, prettyPrint