Package tools.refinery.logic
Interface AbstractValue<A extends AbstractValue<A,C>,C>
- All Known Implementing Classes:
CardinalityInterval
,TruthValue
public interface AbstractValue<A extends AbstractValue<A,C>,C>
-
Method Summary
Modifier and TypeMethodDescriptiondefault boolean
default boolean
isError()
default boolean
isRefinementOf
(A other)
-
Method Details
-
getConcrete
-
isConcrete
default boolean isConcrete() -
getArbitrary
-
isError
default boolean isError() -
join
-
meet
-
isRefinementOf
-