Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicRealType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicRealType
extends SymbolicType

A real number type. There are currently three different kinds of real types: the Herbrand real type, the floating-point real types, and the ideal real type.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	SymbolicRealType.RealKind	The different kinds of real types.

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.object.SymbolicObject

SymbolicObject.SymbolicObjectKind

Nested classes/interfaces inherited from interface dev.civl.sarl.IF.type.SymbolicType

SymbolicType.SymbolicTypeKind

Method Summary

Modifier and Type	Method	Description
SymbolicRealType.RealKind	realKind()	Returns the kind of real type this is.

Methods inherited from interface dev.civl.sarl.IF.object.SymbolicObject

containsQuantifier, containsSubobject, containsSubobjectIgnoringType, equals, getOrder, hashCode, id, isCanonic, setInCanonic, setOrder, symbolicObjectKind, toString, toStringBuffer, toStringBufferLong

Methods inherited from interface dev.civl.sarl.IF.type.SymbolicType

isBoolean, isChar, isHerbrand, isIdeal, isInteger, isNumeric, isReal, typeKind

Method Details

realKind

SymbolicRealType.RealKind realKind()

Returns the kind of real type this is.

Returns:

the kind of real type this is