Package tools.refinery.generator
Class FilteredInterpretation<A extends AbstractValue<A,C>,C>
java.lang.Object
tools.refinery.generator.FilteredInterpretation<A,C>
- All Implemented Interfaces:
AnyPartialInterpretation
,PartialInterpretation<A,
C>
public class FilteredInterpretation<A extends AbstractValue<A,C>,C>
extends Object
implements PartialInterpretation<A,C>
-
Nested Class Summary
Nested classes/interfaces inherited from interface tools.refinery.store.reasoning.interpretation.PartialInterpretation
PartialInterpretation.Factory<A extends AbstractValue<A,
C>, C> -
Constructor Summary
ConstructorDescriptionFilteredInterpretation
(PartialInterpretation<A, C> wrappedInterpretation, PartialInterpretation<TruthValue, Boolean> existsInterpretation) -
Method Summary
-
Constructor Details
-
FilteredInterpretation
public FilteredInterpretation(PartialInterpretation<A, C> wrappedInterpretation, PartialInterpretation<TruthValue, Boolean> existsInterpretation)
-
-
Method Details
-
getAdapter
- Specified by:
getAdapter
in interfaceAnyPartialInterpretation
-
getPartialSymbol
- Specified by:
getPartialSymbol
in interfaceAnyPartialInterpretation
- Specified by:
getPartialSymbol
in interfacePartialInterpretation<A extends AbstractValue<A,
C>, C>
-
getConcreteness
- Specified by:
getConcreteness
in interfaceAnyPartialInterpretation
-
get
- Specified by:
get
in interfacePartialInterpretation<A extends AbstractValue<A,
C>, C>
-
getAll
- Specified by:
getAll
in interfacePartialInterpretation<A extends AbstractValue<A,
C>, C>
-