Package tools.refinery.language.semantics.internal

Interface MutableSeed<T>

All Superinterfaces:

Seed<T>

public interface MutableSeed<T>
extends Seed<T>

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.seed.Seed

Seed.Builder<T>

Method Summary

Modifier and Type	Method	Description
void	mergeValue(Tuple tuple, T value)
static <A extends AbstractValue<A, C>, C> MutableSeed<A>	of(int levels, AbstractDomain<A,C> domain, A initialValue)
static <A extends AbstractValue<A, C>, C> MutableSeed<A>	of(int levels, AbstractDomain<A,C> domain, A fallbackMajorityValue, A initialValue)
static MutableSeed<TruthValue>	of(int levels, TruthValue initialValue)
void	overwriteValues(MutableSeed<T> other)
void	setAllMissing(T value)
void	setIfMissing(Tuple tuple, T value)

Methods inherited from interface tools.refinery.store.reasoning.seed.Seed

arity, get, getCursor, majorityValue, valueType

Method Details

mergeValue

void mergeValue(Tuple tuple,
 T value)

setIfMissing

void setIfMissing(Tuple tuple,
 T value)

setAllMissing

void setAllMissing(T value)

overwriteValues

void overwriteValues(MutableSeed<T> other)

of

static <A extends AbstractValue<A,
C>,
C>
MutableSeed<A> of(int levels,
 AbstractDomain<A,C> domain,
 A fallbackMajorityValue,
 A initialValue)

of

static <A extends AbstractValue<A,
C>,
C>
MutableSeed<A> of(int levels,
 AbstractDomain<A,C> domain,
 A initialValue)

of

static MutableSeed<TruthValue> of(int levels,
 TruthValue initialValue)