ProverEnvironmentSubject (JavaSMT Solver Library)

java.lang.Object
- com.google.common.truth.Subject
- - org.sosy_lab.java_smt.test.ProverEnvironmentSubject

```
public final class ProverEnvironmentSubject
extends Subject
```
Subject subclass for testing assertions about ProverEnvironments with Truth (allows using assert_().about(...).that(stack).isUnsatisfiable() etc.).
For a test use SolverBasedTest0.assertThatEnvironment(BasicProverEnvironment), or StandardSubjectBuilder.about(com.google.common.truth.Subject.Factory) and proverEnvironments().

Nested Class Summary
- Nested classes/interfaces inherited from class com.google.common.truth.Subject
  Subject.Factory<SubjectT extends Subject,ActualT extends Object>

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static ProverEnvironmentSubject`	`assertThat(BasicProverEnvironment<?> prover)`	Use this for checking assertions about ProverEnvironments with Truth: `assertThat(stack).is...()`.
`void`	`isSatisfiable()`	Check that the subject stack is satisfiable.
`void`	`isUnsatisfiable()`	Check that the subject stack is unsatisfiable.
`static Subject.Factory<ProverEnvironmentSubject,BasicProverEnvironment<?>>`	`proverEnvironments()`	Use this for checking assertions about ProverEnvironments with Truth: `assert_().about(proverEnvironments()).that(stack).is...()`.

Methods inherited from class com.google.common.truth.Subject
actualCustomStringRepresentation, check, equals, failWithActual, failWithActual, failWithoutActual, hashCode, ignoreCheck, isAnyOf, isEqualTo, isIn, isInstanceOf, isNoneOf, isNotEqualTo, isNotIn, isNotInstanceOf, isNotNull, isNotSameInstanceAs, isNull, isSameInstanceAs, toString

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Method Detail
  - proverEnvironments
```
public static Subject.Factory<ProverEnvironmentSubject,BasicProverEnvironment<?>> proverEnvironments()
```
    Use this for checking assertions about ProverEnvironments with Truth: assert_().about(proverEnvironments()).that(stack).is...().
  - assertThat
```
public static ProverEnvironmentSubject assertThat(BasicProverEnvironment<?> prover)
```
    Use this for checking assertions about ProverEnvironments with Truth: assertThat(stack).is...().
  - isUnsatisfiable
```
public void isUnsatisfiable()
                     throws SolverException,
                            InterruptedException
```
    Check that the subject stack is unsatisfiable. Will show a model (satisfying assignment) on failure.
    
    Throws:
    
    SolverException
    
    InterruptedException
  - isSatisfiable
```
public void isSatisfiable()
                   throws SolverException,
                          InterruptedException
```
    Check that the subject stack is satisfiable. Will show an unsat core on failure.
    
    Throws:
    
    SolverException
    
    InterruptedException