de.uka.ilkd.key.axiom_abstraction.boollattice

Class BooleanDomainElem

java.lang.Object

de.uka.ilkd.key.axiom_abstraction.AbstractDomainElement

de.uka.ilkd.key.axiom_abstraction.boollattice.BooleanDomainElem

All Implemented Interfaces:

Named

Direct Known Subclasses:

Bottom, False, Top, True

public abstract class BooleanDomainElem
extends AbstractDomainElement

A domain element of the simple boolean lattice.

Author:

Dominic Scheurer

Constructor Summary

Constructors

Constructor and Description
BooleanDomainElem()

Method Summary

Modifier and Type	Method and Description
boolean	isBottom()
boolean	isFalse()
boolean	isTop()
boolean	isTrue()

Methods inherited from class de.uka.ilkd.key.axiom_abstraction.AbstractDomainElement

getDefiningAxiom, toParseableString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.logic.Named

name

Constructor Detail

BooleanDomainElem

public BooleanDomainElem()

Method Detail

isBottom

public boolean isBottom()

Returns:

true iff this element is the bottom element.

isFalse

public boolean isFalse()

Returns:

true iff this element is the false element.

isTrue

public boolean isTrue()

Returns:

true iff this element is the true element.

isTop

public boolean isTop()

Returns:

true iff this element is the top element.