Package network.aika.lattice

Class AndNode.Entry

java.lang.Object

network.aika.lattice.AndNode.Entry

Enclosing class:

AndNode

public static class AndNode.Entry
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Refinement	ref
RefValue	rv

Constructor Summary

Constructors

Constructor	Description
Entry(Refinement ref, RefValue rv)

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

ref

public Refinement ref

rv

public RefValue rv

Constructor Detail

Entry

public Entry(Refinement ref,
             RefValue rv)