Package tools.refinery.logic

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

All Known Subinterfaces:
CardinalityInterval
All Known Implementing Classes:
EmptyCardinalityInterval, NonEmptyCardinalityInterval, 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)