public class CachedSubsumptionComparator extends SubsumptionComparator
Title:
Description:
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
kb| Constructor and Description |
|---|
CachedSubsumptionComparator(MultiValueMap<aterm.ATermAppl,aterm.ATermAppl> subsumers) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isSubsumedBy(aterm.ATermAppl a,
aterm.ATermAppl b) |
compare, setKBpublic CachedSubsumptionComparator(MultiValueMap<aterm.ATermAppl,aterm.ATermAppl> subsumers)
public boolean isSubsumedBy(aterm.ATermAppl a,
aterm.ATermAppl b)
isSubsumedBy in class SubsumptionComparatorCopyright © 2019. All rights reserved.