CmdCheck

Object
- CmdCheck

All Implemented Interfaces:

Cmd
```
public class CmdCheck
extends Object
implements Cmd
```
A Check command takes a given proposition and asks the Session to prove it. The apply method returns when a result is available; the valid field contains the result.

Field Summary

Fields
Modifier and Type Field Description

String counterexample

static Logger debug

String proposition

boolean unknown

boolean valid

Constructor Summary

Constructors
Constructor Description

CmdCheck(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
  - debug
```
public static final Logger debug
```
  - proposition
```
public final String proposition
```
  - valid
```
public boolean valid
```
  - unknown
```
public boolean unknown
```
  - counterexample
```
public String counterexample
```
- Constructor Detail
  - CmdCheck
```
public CmdCheck(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 CmdCheck 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