public class SubsumesCondition extends Object implements HGQueryCondition, HGAtomPredicate
The SubsumesCondition
examines a given atom and is satisfied
if that atom subsumes the atom specified in the condition.
Constructor and Description |
---|
SubsumesCondition() |
SubsumesCondition(HGHandle specific) |
SubsumesCondition(Object specificValue) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
declaredSubsumption(HyperGraph graph,
HGHandle general,
HGHandle specific) |
boolean |
equals(Object x) |
HGHandle |
getSpecificHandle() |
Ref<HGHandle> |
getSpecificHandleReference() |
Object |
getSpecificValue() |
protected HGHandle |
getTypeFor(HyperGraph graph,
HGHandle h) |
protected HGHandle |
getTypeFor(HyperGraph graph,
Object atom) |
int |
hashCode() |
boolean |
satisfies(HyperGraph hg,
HGHandle general)
Check whether a given
Object satisfies this
query condition. |
void |
setSpecificHandle(HGHandle specific) |
void |
setSpecificHandleReference(Ref<HGHandle> specific) |
void |
setSpecificValue(Object specificValue) |
public SubsumesCondition()
public SubsumesCondition(Object specificValue)
public SubsumesCondition(HGHandle specific)
public HGHandle getSpecificHandle()
public void setSpecificHandle(HGHandle specific)
public Object getSpecificValue()
public void setSpecificValue(Object specificValue)
public final boolean satisfies(HyperGraph hg, HGHandle general)
HGAtomPredicate
Check whether a given Object
satisfies this
query condition.
satisfies
in interface HGAtomPredicate
hg
- The HyperGraph
instance.general
- The atom on which to test the query condition.true
if the passed in parameter satisfies
the condition and false
otherwise.protected final HGHandle getTypeFor(HyperGraph graph, HGHandle h)
protected final HGHandle getTypeFor(HyperGraph graph, Object atom)
protected final boolean declaredSubsumption(HyperGraph graph, HGHandle general, HGHandle specific)
Copyright © 2015. All rights reserved.