de.uka.ilkd.key.logic

Class BooleanContainer

java.lang.Object

de.uka.ilkd.key.logic.BooleanContainer

public final class BooleanContainer
extends java.lang.Object

BooleanContainer wraps primitive bool

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	bool

Constructor Summary

Constructors

Constructor and Description
BooleanContainer()

Method Summary

Modifier and Type	Method and Description
void	setVal(boolean b)
boolean	val()

Methods inherited from class java.lang.Object

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

Field Detail

bool

private boolean bool

Constructor Detail

BooleanContainer

public BooleanContainer()

Method Detail

val

public final boolean val()

setVal

public final void setVal(boolean b)