Package jline.solvers.tr

Class FJTagTransform.Context

java.lang.Object

jline.solvers.tr.FJTagTransform.Context

Enclosing class:

FJTagTransform

public static final class FJTagTransform.Context
extends Object

What the expand phase hands the lift phase.

Field Summary

Fields

Modifier and Type	Field	Description
final Matrix	fjclassmap	Auxiliary-to-original class map produced by the augmentation.
final NetworkStruct	fjsn	The tag-augmented struct the solver runs on.
final int	korig	Number of classes before the augmentation.
final NetworkStruct	snOrig	The original struct, whose class indices the lifted matrices use.

Method Summary

Methods inherited from class java.lang.Object

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

Field Details

fjsn

public final NetworkStruct fjsn

The tag-augmented struct the solver runs on.

snOrig

public final NetworkStruct snOrig

The original struct, whose class indices the lifted matrices use.

fjclassmap

public final Matrix fjclassmap

Auxiliary-to-original class map produced by the augmentation.

korig

public final int korig

Number of classes before the augmentation.