Package jline.examples.parity

Class ParityExample

java.lang.Object

jline.examples.parity.ParityExample

public class ParityExample
extends Object

One runnable twin: the reference directory it came from, its name, its body.

The name is the reference script's own -- statepr_aggr is statepr_aggr.py -- because that is the key parity-static uses to pair a row with its golden.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	ParityExample.Body	A body that may fail the way a solver fails, i.e.

Field Summary

Fields

Modifier and Type	Field	Description
final ParityExample.Body	body
final String	group
final String	name

Constructor Summary

Constructors

Constructor	Description
ParityExample(String group, String name, ParityExample.Body body)

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

group

public final String group

name

public final String name

body

public final ParityExample.Body body

Constructor Details

ParityExample

public ParityExample(String group,
 String name,
 ParityExample.Body body)