Module dev.civl.sarl

Package dev.civl.sarl.IF.object

Interface BooleanObject

All Superinterfaces:

Comparable<BooleanObject>, SymbolicObject

public interface BooleanObject
extends SymbolicObject, Comparable<BooleanObject>

A symbolic object wrapping a single boolean value.

Nested Class Summary

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

SymbolicObject.SymbolicObjectKind

Method Summary

Modifier and Type	Method	Description
boolean	getBoolean()	Returns the underlying boolean value (true or false) wrapped by this BooleanObject.

Methods inherited from interface java.lang.Comparable

compareTo

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

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

Method Details

getBoolean

boolean getBoolean()

Returns the underlying boolean value (true or false) wrapped by this BooleanObject.

Returns:

the underlying boolean value