public class Option extends Object implements Comparable<Option>
Option class represents a node within the options lattice. Each option has a key uniquely identifying
this. Such a key consists of a option ids that are emitted by a NegativeInputNode. There are different
types of option nodes such as ACTIVATION, CONFLICT, TOP and BOTTOM.
Option nodes of type ACTIVATION contain a set of all activations associated with this option node.
Each option node maintains a weight which is accumulated and propagated towards the top of the option lattice.| Modifier and Type | Class and Description |
|---|---|
static class |
Option.Conflict |
| Modifier and Type | Field and Description |
|---|---|
double |
accumulatedWeight |
SortedSet<Activation> |
activations |
Map<Option,Boolean> |
cache |
ArrayList<Option> |
children |
Map<Option.Conflict.Key,Option.Conflict> |
conflicts |
long |
containedInUpperBound |
Document |
doc |
int |
id |
boolean |
inv |
boolean |
isConflict |
boolean |
isRemoved |
int |
length |
long |
markedCovered |
static Option |
MAX |
int |
maxPos |
static Option |
MIN |
int |
minPos |
Option |
negation |
ArrayList<Option> |
parents |
Map<Option,Option.Conflict> |
primaryConflicts |
int |
primId |
int |
refCount |
int |
removedId |
static int |
removedIdCounter |
Map<Option,Option.Conflict> |
secondaryConflicts |
static Comparator<Option> |
SIZE_COMPARATOR |
static Comparator<Option> |
SMALLEST_FIRST_COMPARATOR |
long |
visitedAccumulatedWeight |
static long |
visitedCounter |
long |
visitedMarkCovered |
double |
weight |
| Constructor and Description |
|---|
Option(Document doc,
boolean inv,
int primId,
int id,
int minPos,
int maxPos,
int length) |
public static final Option MIN
public static final Option MAX
public static final Comparator<Option> SIZE_COMPARATOR
public static final Comparator<Option> SMALLEST_FIRST_COMPARATOR
public final boolean inv
public final int primId
public final int id
public final int length
public final int minPos
public final int maxPos
public Option negation
public long visitedAccumulatedWeight
public long visitedMarkCovered
public long markedCovered
public long containedInUpperBound
public static long visitedCounter
public final Document doc
public boolean isRemoved
public int removedId
public static int removedIdCounter
public boolean isConflict
public Map<Option,Option.Conflict> primaryConflicts
public Map<Option,Option.Conflict> secondaryConflicts
public Map<Option.Conflict.Key,Option.Conflict> conflicts
public SortedSet<Activation> activations
public double weight
public double accumulatedWeight
public int refCount
public Option(Document doc, boolean inv, int primId, int id, int minPos, int maxPos, int length)
public void countRef()
public void releaseRef()
public void removeAllConflicts(Iteration t)
public SortedSet<Activation> getActivations()
public boolean containedIn(Collection<Option> input)
public void count()
public void computeOptionWeights(long v)
public boolean isTop()
public boolean isBottom()
public boolean outsideOfAll(Collection<Option> input)
public boolean containedInAny(Collection<Option> input)
public boolean contains(Option n)
public boolean contains(boolean dir,
Option n)
public boolean containedInUpperBound(long v)
public void verify()
public double computeAccumulatedWeight(long v)
public int compareTo(Option n)
compareTo in interface Comparable<Option>Copyright © 2016. All rights reserved.