CmdUndoAssume

Object
- CmdUndoAssume

All Implemented Interfaces:

Cmd
```
public class CmdUndoAssume
extends Object
implements Cmd
```
An UndoAssume command removes an assumption from the assumption stack of the given session. The command will not block.

Field Summary

Fields
Modifier and Type Field Description

static CmdUndoAssume single

Constructor Summary

Constructors
Constructor Description

CmdUndoAssume()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`apply(@GuardedBy("<self>") Session s)`	For documentation, read the class overview.
`String`	`toString()`	Returns a string for debugging only.

Methods inherited from class Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Field Detail
  - single
```
public static CmdUndoAssume single
```
- Constructor Detail
  - CmdUndoAssume
```
public CmdUndoAssume()
```
- Method Detail
  - apply
```
public void apply(@GuardedBy("<self>") Session s)
```
    For documentation, read the class overview.
    
    Specified by:
    
    apply in interface Cmd
    
    Parameters:
    
    s - a session in which to run this command
  - toString
```
@SideEffectFree
public String toString(@GuardSatisfied CmdUndoAssume this)
```
    Description copied from interface: Cmd
    
    Returns a string for debugging only.
    
    Specified by:
    
    toString in interface Cmd
    
    Overrides:
    
    toString in class Object
    
    Returns:
    
    a string for debugging only