org.jpc.term

Class FloatTerm

java.lang.Object

org.jpc.term.Term

org.jpc.term.NumberTerm

org.jpc.term.FloatTerm

public final class FloatTerm
extends NumberTerm

A class reifying a logic float term

Author:

scastro

Field Summary

Fields inherited from class org.jpc.term.NumberTerm

value

Constructor Summary

Constructors

Constructor and Description
FloatTerm(double value)

Method Summary

Modifier and Type	Method and Description
void	accept(TermVisitor termVisitor) Accepts a Jpc term visitor.
protected void	basicRead(TermContentHandler contentHandler, com.google.common.base.Function<Term,Term> termExpander)

Methods inherited from class org.jpc.term.NumberTerm

doubleValue, equals, floatValue, getValue, hasFunctor, hashCode, intValue, isGround, longValue, preCompile, prepareForFrame, prepareForQuery, toEscapedString, toString

Methods inherited from class org.jpc.term.Term

arg, arity, asList, basicIsList, canUnify, changeVariablesNames, compile, compile, compile, compile, compileAndUnify, compileAndUnifyVars, getArgs, getNamedVariables, getNamedVariablesNames, getNonUnderscoreVariableNames, getNonUnderscoreVariables, getVariableNames, getVariables, hasFunctor, hasFunctor, hasFunctor, hasFunctor, hasVariable, isHilog, isList, listLength, prepareForFrame, prepareForQuery, read, read, replaceVariables, resolveBindings, termEquals, termEquals, termExpansion, toEscapedString, toEscapedString, toString, unify, unifyAndBind, varBindings

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FloatTerm

public FloatTerm(double value)

Parameters:

value - This FloatTerm's (double) value

Method Detail

accept

public void accept(TermVisitor termVisitor)

Description copied from class: Term

Accepts a Jpc term visitor.

Specified by:

accept in class Term

Parameters:

termVisitor - the accepted visitor

basicRead

protected void basicRead(TermContentHandler contentHandler,
                         com.google.common.base.Function<Term,Term> termExpander)

Specified by:

basicRead in class Term