Module dev.civl.sarl

Package dev.civl.sarl.IF.type

Interface SymbolicIntegerType

All Superinterfaces:

SymbolicObject, SymbolicType

public interface SymbolicIntegerType
extends SymbolicType

SymbolicIntegerType is an interface that contains representation for a Symbolic Integer Type: It has three kinds: - herbrand: it doesn't do simplifications, when used in equations - ideal: - bounded: Also it has a method to return the kind of the integer.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	SymbolicIntegerType.IntegerKind	three kinds for the integer type

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
SymbolicIntegerType.IntegerKind	integerKind()	a method to return the kind of the integer type.

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

integerKind

SymbolicIntegerType.IntegerKind integerKind()

a method to return the kind of the integer type.

Returns:

IntegerKind: either herbrand, ideal, or bounded.