org.jpc.term

Class IntegerTerm

java.lang.Object

org.jpc.term.Term

org.jpc.term.NumberTerm

org.jpc.term.IntegerTerm

public final class IntegerTerm
extends NumberTerm

A class reifying a logic integer term

Author:

scastro

Field Summary

Fields inherited from class org.jpc.term.NumberTerm

value

Constructor Summary

Constructors

Constructor and Description
IntegerTerm(long 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

IntegerTerm

public IntegerTerm(long value)

Parameters:

value - This IntegerTerm's (long) 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