public final class BooleanContainer extends java.lang.Object
BooleanContainer()
void
setVal(boolean b)
boolean
val()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public BooleanContainer()
public final boolean val()
public final void setVal(boolean b)
Copyright © 2003-2019 The KeY-Project.