Package tools.refinery.logic

Interface AbstractValue<A extends AbstractValue<A,C>,C>

All Superinterfaces:

Comparable<A>

All Known Subinterfaces:

ComparableAbstractValue<A,C>, StringValue

All Known Implementing Classes:

CardinalityInterval, IntInterval, RealInterval, StringValue.Concrete, StringValue.Error, StringValue.Unknown, TruthValue

public interface AbstractValue<A extends AbstractValue<A,C>,C>
extends Comparable<A>

Method Summary

Modifier and Type	Method	Description
default TruthValue	checkEquals(A other)
C	getArbitrary()
C	getConcrete()
default boolean	isConcrete()
default boolean	isError()
default boolean	isOverlapping(A other)
default boolean	isRefinementOf(A other)
A	join(A other)
A	meet(A other)

Methods inherited from interface java.lang.Comparable

compareTo

Method Details

getConcrete

@Nullable
C getConcrete()

isConcrete

default boolean isConcrete()

getArbitrary

@Nullable
C getArbitrary()

isError

default boolean isError()

join

A join(A other)

meet

A meet(A other)

isRefinementOf

default boolean isRefinementOf(A other)

isOverlapping

default boolean isOverlapping(A other)

checkEquals

default TruthValue checkEquals(A other)