CmdAssume

Object
- CmdAssume

All Implemented Interfaces:

Cmd
```
public class CmdAssume
extends Object
implements Cmd
```
An Assume command pushes some proposition onto the assumption stack of the session. The proposition is assumed to be true, and is not proved. This command will not block.

Field Summary

Fields
Modifier and Type Field Description

String proposition

Constructor Summary

Constructors
Constructor Description

CmdAssume(String proposition)

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
  - proposition
```
public final String proposition
```
- Constructor Detail
  - CmdAssume
```
public CmdAssume(String proposition)
```
- 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 CmdAssume 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