Package tools.refinery.generator.impl
Class FilteredInterpretation<A extends AbstractValue<A,C>,C>
java.lang.Object
tools.refinery.generator.impl.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> -
Method Summary
Modifier and TypeMethodDescriptiongetAll()static <A extends AbstractValue<A,C>, C>
PartialInterpretation<A, C> of(PartialInterpretation<A, C> wrappedInterpretation, PartialInterpretation<TruthValue, Boolean> existsInterpretation)
-
Method Details
-
getAdapter
- Specified by:
getAdapterin interfaceAnyPartialInterpretation
-
getPartialSymbol
- Specified by:
getPartialSymbolin interfaceAnyPartialInterpretation- Specified by:
getPartialSymbolin interfacePartialInterpretation<A extends AbstractValue<A,C>, C>
-
getConcreteness
- Specified by:
getConcretenessin interfaceAnyPartialInterpretation
-
get
- Specified by:
getin interfacePartialInterpretation<A extends AbstractValue<A,C>, C>
-
getAll
- Specified by:
getAllin interfacePartialInterpretation<A extends AbstractValue<A,C>, C>
-
of
public static <A extends AbstractValue<A,C>, PartialInterpretation<A,C> C> of(PartialInterpretation<A, C> wrappedInterpretation, PartialInterpretation<TruthValue, Boolean> existsInterpretation)
-