Package com.articulate.sigma

Class InferenceTestSuite.OneResult

java.lang.Object

com.articulate.sigma.InferenceTestSuite.OneResult

Enclosing class:

InferenceTestSuite

public static class InferenceTestSuite.OneResult
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
List<String>	actual
List<String>	expected
String	html
long	millis
boolean	pass
List<String>	proofText

Constructor Summary

Constructors

Constructor	Description
OneResult()

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

pass

public boolean pass

millis

public long millis

html

public String html

expected

public List<String> expected

actual

public List<String> actual

proofText

public List<String> proofText

Constructor Details

OneResult

public OneResult()