io.github.prolobjectlink.prolog

Interface PrologDouble

All Superinterfaces:

Comparable<PrologTerm>, PrologElement, PrologNumber, PrologTerm

public interface PrologDouble
extends PrologNumber

Prolog term that represent a double precision floating point number. Extends from PrologNumber who contains an immutable Double instance. The Prolog Provider is the mechanism to create a new Prolog double invoking PrologProvider.newDouble(Number). Two doubles numbers are equals if and only if are doubles and have equal value. Doubles numbers unify only with same value doubles 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