ConstantNamed Member List

This is the complete list of members for ConstantNamed, including all inherited members.

clone(void) (defined in ConstantNamed)	ConstantNamed	inlinevirtual
ConstantNamed(int4 id) (defined in ConstantNamed)	ConstantNamed	inline
getConstant(UnifyState &state) const (defined in ConstantNamed)	ConstantNamed	virtual
getId(void) const (defined in ConstantNamed)	ConstantNamed	inline
writeExpression(ostream &s, UnifyCPrinter &printstate) const (defined in ConstantNamed)	ConstantNamed	virtual
~RHSConstant(void) (defined in RHSConstant)	RHSConstant	inlinevirtual