io.github.prolobjectlink.prolog

Interface PrologFloat

All Superinterfaces:

Comparable<PrologTerm>, PrologElement, PrologNumber, PrologTerm

public interface PrologFloat
extends PrologNumber

Prolog term that represent a single precision floating point number. Extends from PrologNumber who contains an immutable Float instance. The Prolog Provider is the mechanism to create a new Prolog float invoking PrologProvider.newFloat(Number). Two floats numbers are equals if and only if are floats and have equal value. Floats numbers unify only with same value floats or with free variable.

Since:

1.0

Author:

Jose Zalacain

Method Summary

Methods inherited from interface io.github.prolobjectlink.prolog.PrologNumber

getDoubleValue, getFloatValue, getIntegerValue, getLongValue, getPrologDouble, getPrologFloat, getPrologInteger, getPrologLong

Methods inherited from interface io.github.prolobjectlink.prolog.PrologTerm

cast, getArgument, getArguments, getArity, getFunctor, getIndicator, getObject, getProvider, getTerm, getType, hasIndicator, isAtom, isAtomic, isClass, isCompound, isDouble, isEmptyList, isEntry, isEvaluable, isFalseType, isField, isFloat, isInteger, isList, isLong, isMap, isMixin, isNil, isNullType, isNumber, isObjectType, isParameter, isReference, isResult, isStructure, isTrueType, isVariable, isVariableBound, isVariableNotBound, isVoidType, match, unify

Methods inherited from interface java.lang.Comparable

compareTo

Methods inherited from interface io.github.prolobjectlink.prolog.PrologElement

isClause, isTerm