Class FloatConstant

java.lang.Object

public class FloatConstant extends Constant
This class encapsulates a float as a term.
Author:
Matthias Thimm