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

All Known Implementing Classes:
CardinalityInterval, TruthValue

public interface AbstractValue<A extends AbstractValue<A,C>,C>
  • 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)