Package ch.so.agi.mcp.model

Class IliAuthoringResult.ProofVerification

java.lang.Object

ch.so.agi.mcp.model.IliAuthoringResult.ProofVerification

Enclosing class:

IliAuthoringResult

public static final class IliAuthoringResult.ProofVerification
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
@Nullable Boolean	allPassed
@Nullable Integer	caseCount
List<IliAuthoringResult.ProofCaseVerification>	cases
@Nullable Integer	passedCount

Constructor Summary

Constructors

Constructor	Description
ProofVerification()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

allPassed

public @Nullable Boolean allPassed

passedCount

public @Nullable Integer passedCount

caseCount

public @Nullable Integer caseCount

cases

public List<IliAuthoringResult.ProofCaseVerification> cases

Constructor Details

ProofVerification

public ProofVerification()