code.term
Class TermImplFloat

java.lang.Object
  code.term.TermImplBuiltin
      code.term.TermImplFloat

All Implemented Interfaces:

TermImpl

public class TermImplFloat
extends TermImplBuiltin

Term representations for floats.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

float

value

Constructor Summary

TermImplFloat(float value)

Method Summary

<R,T> R

accept(code.term.visitor.TermVisitor<R,T> v, T o) This method accepts the visitor.

Methods inherited from class code.term.TermImplBuiltin

getArgument, getArgument, getCode, getKind, getRoot, getRootSymbol, isHNF, isNF

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

value

public final float value

Constructor Detail

TermImplFloat

public TermImplFloat(float value)

Method Detail

accept

public <R,T> R accept(code.term.visitor.TermVisitor<R,T> v,
                      T o)

Description copied from interface: TermImpl

This method accepts the visitor. The code for this method should be return v.accept(this,o);

Returns:

Object