|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.utils.ATermUtils
public class ATermUtils
This class provides the functions ATerm related functions. Creating terms for URI's and complex class descriptions is done here. There are also functions for normalization, simplification and conversion to NNF (Normal Negation Form).
Field Summary | |
---|---|
static aterm.AFun |
ALLDIFFERENTFUN
|
static aterm.AFun |
ALLFUN
|
static aterm.AFun |
ANDFUN
|
static aterm.AFun |
ANON_FUN
|
static aterm.AFun |
ANON_NOMINAL_FUN
|
static aterm.AFun |
ANTISYMMETRICFUN
Deprecated. Use ASYMMETRICFUN |
static aterm.AFun |
ASYMMETRICFUN
|
static java.util.Set<aterm.AFun> |
AXIOM_FUN
Set of all axiom functors used in explanations |
static aterm.AFun |
BNODE_FUN
|
static aterm.ATermAppl |
BOTTOM
|
static aterm.ATermAppl |
BOTTOM_DATA_PROPERTY
|
static aterm.ATermAppl |
BOTTOM_LIT
|
static aterm.ATermAppl |
BOTTOM_OBJECT_PROPERTY
|
static aterm.AFun |
BUILTINFUN
|
static aterm.AFun |
CARDFUN
This is not used in the reasoner but kept here to be used for display |
static java.util.Set<aterm.AFun> |
CLASS_FUN
|
static aterm.AFun |
COMPLEMENTFUN
|
static aterm.ATermAppl |
CONCEPT_SAT_IND
|
static aterm.AFun |
DATATYPEDEFFUN
|
static aterm.AFun |
DIFFERENTFUN
Added for explanations |
static aterm.AFun |
DISJOINTFUN
|
static aterm.AFun |
DISJOINTPROPFUN
|
static aterm.AFun |
DISJOINTPROPSFUN
|
static aterm.AFun |
DISJOINTSFUN
|
static aterm.AFun |
DOMAINFUN
|
static aterm.ATermAppl |
EMPTY
|
static aterm.ATermList |
EMPTY_LIST
|
static aterm.AFun |
EQCLASSFUN
|
static aterm.AFun |
EQPROPFUN
|
static aterm.AFun |
FACET
|
static aterm.AFun |
FUNCTIONALFUN
|
static aterm.AFun |
INVFUN
|
static aterm.AFun |
INVFUNCTIONALFUN
|
static aterm.AFun |
INVPROPFUN
|
static aterm.AFun |
IRREFLEXIVEFUN
|
static int |
LIT_LANG_INDEX
|
static int |
LIT_URI_INDEX
|
static int |
LIT_VAL_INDEX
|
static aterm.AFun |
LITFUN
|
static aterm.AFun |
MAXFUN
|
static aterm.AFun |
MINFUN
|
static aterm.ATermAppl |
NO_DATATYPE
|
static aterm.AFun |
NOTFUN
|
static aterm.ATermInt |
ONE
|
static aterm.AFun |
ORFUN
|
static aterm.ATermAppl |
PLAIN_LITERAL_DATATYPE
|
static aterm.AFun |
PROPFUN
|
static QNameProvider |
qnames
|
static aterm.AFun |
RANGEFUN
|
static aterm.AFun |
REFLEXIVEFUN
|
static aterm.AFun |
RESTRDATATYPEFUN
|
static aterm.AFun |
RULEFUN
|
static aterm.AFun |
SAMEASFUN
|
static aterm.AFun |
SELFFUN
|
static aterm.AFun |
SOMEFUN
|
static aterm.AFun |
SUBFUN
|
static aterm.AFun |
SUBPROPFUN
|
static aterm.AFun |
SYMMETRICFUN
|
static aterm.ATermAppl |
TOP
|
static aterm.ATermAppl |
TOP_DATA_PROPERTY
|
static aterm.ATermAppl |
TOP_LIT
|
static aterm.ATermAppl |
TOP_OBJECT_PROPERTY
|
static aterm.AFun |
TRANSITIVEFUN
|
static aterm.AFun |
TYPEFUN
|
static aterm.AFun |
VALUEFUN
|
static aterm.AFun |
VARFUN
This is used to represent variables in queries |
Constructor Summary | |
---|---|
ATermUtils()
|
Method Summary | |
---|---|
static void |
assertTrue(boolean condition)
|
static java.util.Set<aterm.ATermAppl> |
findPrimitives(aterm.ATermAppl term)
|
static java.util.Set<aterm.ATermAppl> |
findPrimitives(aterm.ATermAppl term,
boolean skipRestrictions,
boolean skipTopLevel)
|
static void |
findPrimitives(aterm.ATermAppl term,
java.util.Set<aterm.ATermAppl> primitives)
|
static void |
findPrimitives(aterm.ATermAppl term,
java.util.Set<aterm.ATermAppl> primitives,
boolean skipRestrictions,
boolean skipTopLevel)
|
static aterm.ATermFactory |
getFactory()
|
static java.lang.String |
getLiteralDatatype(aterm.ATermAppl literal)
|
static java.lang.String |
getLiteralLang(aterm.ATermAppl literal)
|
static java.lang.String |
getLiteralValue(aterm.ATermAppl literal)
|
static java.util.Set<aterm.ATermAppl> |
getPrimitives(aterm.ATermList list)
|
static aterm.ATermAppl |
getTop(Role r)
|
static boolean |
isAllValues(aterm.ATermAppl a)
|
static boolean |
isAnd(aterm.ATermAppl a)
|
static boolean |
isAnon(aterm.ATermAppl term)
|
static boolean |
isAnonNominal(aterm.ATermAppl term)
|
static boolean |
isBnode(aterm.ATermAppl name)
|
static boolean |
isBottom(aterm.ATermAppl a)
|
static boolean |
isBuiltinProperty(aterm.ATermAppl name)
|
static boolean |
isCard(aterm.ATermAppl a)
|
static boolean |
isComplexClass(aterm.ATerm c)
|
static boolean |
isDataRange(aterm.ATermAppl a)
|
static boolean |
isHasValue(aterm.ATermAppl a)
|
static boolean |
isInv(aterm.ATermAppl r)
|
static boolean |
isLiteral(aterm.ATermAppl a)
|
static boolean |
isMax(aterm.ATermAppl a)
|
static boolean |
isMin(aterm.ATermAppl a)
|
static boolean |
isNegatedPrimitive(aterm.ATermAppl c)
|
static boolean |
isNominal(aterm.ATermAppl a)
|
static boolean |
isNot(aterm.ATermAppl a)
|
static boolean |
isOneOf(aterm.ATermAppl a)
|
static boolean |
isOr(aterm.ATermAppl a)
|
static boolean |
isPrimitive(aterm.ATermAppl c)
|
static boolean |
isPrimitiveOrNegated(aterm.ATermAppl c)
|
static boolean |
isPropertyAssertion(aterm.ATermAppl a)
|
static boolean |
isRestrictedDatatype(aterm.ATermAppl term)
|
static boolean |
isSelf(aterm.ATermAppl a)
|
static boolean |
isSet(aterm.ATermList list)
|
static boolean |
isSomeValues(aterm.ATermAppl a)
|
static boolean |
isTop(aterm.ATermAppl a)
|
static boolean |
isTransitiveChain(aterm.ATermList chain,
aterm.ATerm r)
|
static boolean |
isTypeAssertion(aterm.ATermAppl a)
|
static boolean |
isVar(aterm.ATermAppl a)
|
static java.util.Set<aterm.ATermAppl> |
listToSet(aterm.ATermList list)
|
static aterm.ATermAppl |
makeAllDifferent(aterm.ATermList list)
|
static aterm.ATermAppl |
makeAllValues(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeAnd(aterm.ATerm c1,
aterm.ATerm c2)
|
static aterm.ATermAppl |
makeAnd(aterm.ATermList list)
|
static aterm.ATermAppl |
makeAnon(int id)
|
static aterm.ATermAppl |
makeAnonNominal(int id)
|
static aterm.ATermAppl |
makeAntisymmetric(aterm.ATerm r)
Deprecated. Use makeAsymmetric(ATerm) |
static aterm.ATermAppl |
makeAsymmetric(aterm.ATerm r)
|
static aterm.ATermAppl |
makeBnode(java.lang.String id)
|
static aterm.ATermAppl |
makeBuiltinAtom(aterm.ATermAppl[] args)
|
static aterm.ATermAppl |
makeCard(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeComplement(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeDatatypeDefinition(aterm.ATermAppl datatype,
aterm.ATermAppl definition)
|
static aterm.ATermAppl |
makeDifferent(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeDisjoint(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeDisjointProperties(aterm.ATermList list)
|
static aterm.ATermAppl |
makeDisjointProperty(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeDisjoints(aterm.ATermList list)
|
static aterm.ATermAppl |
makeDisplayCard(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeDisplayMax(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeDisplayMin(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeDomain(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeEqClasses(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeEqProp(aterm.ATerm r,
aterm.ATerm s)
|
static aterm.ATermAppl |
makeExactCard(aterm.ATerm r,
aterm.ATermInt n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeExactCard(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeFacetRestriction(aterm.ATermAppl facetName,
aterm.ATermAppl facetValue)
|
static aterm.ATermAppl |
makeFunctional(aterm.ATerm a)
|
static aterm.ATermAppl |
makeHasValue(aterm.ATerm r,
aterm.ATerm ind)
|
static aterm.ATermAppl |
makeInv(aterm.ATermAppl r)
|
static aterm.ATermAppl |
makeInverseFunctional(aterm.ATerm a)
|
static aterm.ATermAppl |
makeInvProp(aterm.ATerm r,
aterm.ATerm s)
|
static aterm.ATermAppl |
makeIrreflexive(aterm.ATerm r)
|
static aterm.ATermList |
makeList(aterm.ATerm singleton)
|
static aterm.ATermList |
makeList(aterm.ATerm[] aTerms)
|
static aterm.ATermList |
makeList(aterm.ATerm first,
aterm.ATermList rest)
|
static aterm.ATermList |
makeList(java.util.Collection<aterm.ATermAppl> set)
|
static aterm.ATermAppl |
makeLiteral(aterm.ATermAppl name)
|
static aterm.ATermAppl |
makeMax(aterm.ATerm r,
aterm.ATermInt n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeMax(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeMin(aterm.ATerm r,
aterm.ATermInt n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeMin(aterm.ATerm r,
int n,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeNormalizedMax(aterm.ATermAppl r,
int n,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
makeNot(aterm.ATerm c)
|
static aterm.ATermAppl |
makeOr(aterm.ATermAppl c1,
aterm.ATermAppl c2)
|
static aterm.ATermAppl |
makeOr(aterm.ATermList list)
|
static aterm.ATermAppl |
makePlainLiteral(java.lang.String value)
|
static aterm.ATermAppl |
makePlainLiteral(java.lang.String value,
java.lang.String lang)
|
static aterm.ATermAppl |
makePropAtom(aterm.ATermAppl p,
aterm.ATermAppl s,
aterm.ATermAppl o)
|
static aterm.ATermAppl |
makeRange(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeReflexive(aterm.ATerm r)
|
static aterm.ATermAppl |
makeRestrictedDatatype(aterm.ATermAppl baseDatatype,
aterm.ATermAppl[] restrictions)
|
static aterm.ATermAppl |
makeRule(aterm.ATermAppl[] head,
aterm.ATermAppl[] body)
|
static aterm.ATermAppl |
makeRule(aterm.ATermAppl name,
aterm.ATermAppl[] head,
aterm.ATermAppl[] body)
|
static aterm.ATermAppl |
makeSameAs(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeSelf(aterm.ATermAppl r)
|
static aterm.ATermAppl |
makeSimplifiedAnd(java.util.Collection<aterm.ATermAppl> conjuncts)
Creates a simplified and assuming that all the elements have already been normalized. |
static aterm.ATermAppl |
makeSomeValues(aterm.ATerm r,
aterm.ATerm c)
|
static aterm.ATermAppl |
makeSub(aterm.ATerm a,
aterm.ATerm b)
|
static aterm.ATermAppl |
makeSubProp(aterm.ATerm r,
aterm.ATerm s)
|
static aterm.ATermAppl |
makeSymmetric(aterm.ATerm r)
|
static aterm.ATermAppl |
makeTermAppl(aterm.AFun fun,
aterm.ATerm[] args)
|
static aterm.ATermAppl |
makeTermAppl(java.lang.String name)
|
static aterm.ATermAppl |
makeTransitive(aterm.ATerm r)
|
static aterm.ATermAppl |
makeTypeAtom(aterm.ATermAppl ind,
aterm.ATermAppl c)
|
static aterm.ATermAppl |
makeTypedLiteral(java.lang.String value,
aterm.ATermAppl dt)
|
static aterm.ATermAppl |
makeTypedLiteral(java.lang.String value,
java.lang.String dt)
|
static aterm.ATermAppl |
makeValue(aterm.ATerm c)
|
static aterm.ATermAppl |
makeVar(aterm.ATermAppl name)
|
static aterm.ATermAppl |
makeVar(java.lang.String name)
|
static boolean |
member(aterm.ATerm a,
aterm.ATermList list)
|
static aterm.ATermAppl |
negate(aterm.ATermAppl a)
|
static aterm.ATermList |
negate(aterm.ATermList list)
|
static aterm.ATerm |
nnf(aterm.ATerm term)
|
static aterm.ATermAppl |
nnf(aterm.ATermAppl term)
|
static aterm.ATermList |
nnf(aterm.ATermList list)
|
static aterm.ATermAppl |
normalize(aterm.ATermAppl term)
Normalize the term by making following changes: or([a1, a2,..., an]) -> not(and[not(a1), not(a2), ..., not(an)]]) some(p, c) -> all(p, not(c)) max(p, n) -> not(min(p, n+1)) |
static aterm.ATermList |
normalize(aterm.ATermList list)
|
static java.util.Collection<aterm.ATermAppl> |
normalize(java.util.Collection<aterm.ATermAppl> terms)
|
static java.util.Collection<aterm.ATermAppl> |
primitiveOrBottom(java.util.Collection<aterm.ATermAppl> collection)
|
static java.util.Set<aterm.ATermAppl> |
primitiveOrBottom(java.util.Set<aterm.ATermAppl> collection)
|
static aterm.ATermAppl |
simplify(aterm.ATermAppl term)
Simplify the term by making following changes: and([]) -> TOP all(p, TOP) -> TOP min(p, 0) -> TOP and([a1, and([a2,...,an])]) -> and([a1, a2, ..., an])) and([a, not(a), ...]) -> BOTTOM not(C) -> not(simplify(C)) |
static aterm.ATerm |
term(java.lang.String str)
|
static aterm.ATermAppl[] |
toArray(aterm.ATermList list)
|
static aterm.ATermList |
toSet(aterm.ATerm[] a,
int size)
|
static aterm.ATermList |
toSet(aterm.ATermList list)
|
static aterm.ATermList |
toSet(java.util.Collection<aterm.ATermAppl> terms)
|
static java.lang.String |
toString(aterm.ATermAppl term)
Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. |
static java.lang.String |
toString(aterm.ATermAppl term,
boolean printLocalName,
boolean printNNF)
Return a string representation of the term which might be representing a named term, literal, variable or a complex concept expression. |
static java.lang.String |
toString(java.util.Collection<aterm.ATermAppl> terms)
Return the string representations of the terms in a collection. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final aterm.AFun LITFUN
public static final int LIT_VAL_INDEX
public static final int LIT_LANG_INDEX
public static final int LIT_URI_INDEX
public static final aterm.AFun ANDFUN
public static final aterm.AFun ORFUN
public static final aterm.AFun SOMEFUN
public static final aterm.AFun ALLFUN
public static final aterm.AFun NOTFUN
public static final aterm.AFun MAXFUN
public static final aterm.AFun MINFUN
public static final aterm.AFun VALUEFUN
public static final aterm.AFun SELFFUN
public static final aterm.AFun CARDFUN
public static java.util.Set<aterm.AFun> CLASS_FUN
public static final aterm.AFun INVFUN
public static final aterm.AFun SUBFUN
public static final aterm.AFun EQCLASSFUN
public static final aterm.AFun SAMEASFUN
public static final aterm.AFun DISJOINTFUN
public static final aterm.AFun DISJOINTSFUN
public static final aterm.AFun DISJOINTPROPFUN
public static final aterm.AFun DISJOINTPROPSFUN
public static final aterm.AFun COMPLEMENTFUN
public static final aterm.AFun VARFUN
public static final aterm.AFun TYPEFUN
public static final aterm.AFun PROPFUN
public static final aterm.AFun DIFFERENTFUN
public static final aterm.AFun ALLDIFFERENTFUN
public static final aterm.AFun ASYMMETRICFUN
@Deprecated public static final aterm.AFun ANTISYMMETRICFUN
ASYMMETRICFUN
public static final aterm.AFun FUNCTIONALFUN
public static final aterm.AFun INVFUNCTIONALFUN
public static final aterm.AFun IRREFLEXIVEFUN
public static final aterm.AFun REFLEXIVEFUN
public static final aterm.AFun SYMMETRICFUN
public static final aterm.AFun TRANSITIVEFUN
public static final aterm.AFun SUBPROPFUN
public static final aterm.AFun EQPROPFUN
public static final aterm.AFun INVPROPFUN
public static final aterm.AFun DOMAINFUN
public static final aterm.AFun RANGEFUN
public static final aterm.AFun RULEFUN
public static final aterm.AFun BUILTINFUN
public static final aterm.AFun DATATYPEDEFFUN
public static final aterm.AFun RESTRDATATYPEFUN
public static final aterm.AFun FACET
public static final aterm.ATermAppl EMPTY
public static final aterm.ATermList EMPTY_LIST
public static java.util.Set<aterm.AFun> AXIOM_FUN
public static final aterm.ATermAppl TOP
public static final aterm.ATermAppl BOTTOM
public static final aterm.ATermAppl TOP_OBJECT_PROPERTY
public static final aterm.ATermAppl TOP_DATA_PROPERTY
public static final aterm.ATermAppl BOTTOM_OBJECT_PROPERTY
public static final aterm.ATermAppl BOTTOM_DATA_PROPERTY
public static final aterm.ATermAppl TOP_LIT
public static final aterm.ATermAppl BOTTOM_LIT
public static final aterm.ATermAppl CONCEPT_SAT_IND
public static final aterm.ATermInt ONE
public static final aterm.ATermAppl PLAIN_LITERAL_DATATYPE
public static QNameProvider qnames
public static aterm.ATermAppl NO_DATATYPE
public static final aterm.AFun BNODE_FUN
public static final aterm.AFun ANON_FUN
public static final aterm.AFun ANON_NOMINAL_FUN
Constructor Detail |
---|
public ATermUtils()
Method Detail |
---|
public static aterm.ATermFactory getFactory()
public static final aterm.ATermAppl makeTypeAtom(aterm.ATermAppl ind, aterm.ATermAppl c)
public static final aterm.ATermAppl makePropAtom(aterm.ATermAppl p, aterm.ATermAppl s, aterm.ATermAppl o)
public static aterm.ATermAppl makePlainLiteral(java.lang.String value)
public static aterm.ATermAppl makePlainLiteral(java.lang.String value, java.lang.String lang)
public static aterm.ATermAppl makeTypedLiteral(java.lang.String value, aterm.ATermAppl dt)
public static aterm.ATermAppl makeTypedLiteral(java.lang.String value, java.lang.String dt)
public static aterm.ATermAppl makeLiteral(aterm.ATermAppl name)
public static java.lang.String getLiteralValue(aterm.ATermAppl literal)
public static java.lang.String getLiteralLang(aterm.ATermAppl literal)
public static java.lang.String getLiteralDatatype(aterm.ATermAppl literal)
public static aterm.ATermAppl makeTermAppl(java.lang.String name)
public static aterm.ATermAppl makeTermAppl(aterm.AFun fun, aterm.ATerm[] args)
public static aterm.ATermAppl makeNot(aterm.ATerm c)
public static aterm.ATerm term(java.lang.String str)
public static aterm.ATermList negate(aterm.ATermList list)
public static final aterm.ATermAppl negate(aterm.ATermAppl a)
public static final boolean isAnonNominal(aterm.ATermAppl term)
public static final aterm.ATermAppl makeAnonNominal(int id)
public static final aterm.ATermAppl makeAnon(int id)
public static final aterm.ATermAppl makeBnode(java.lang.String id)
public static final aterm.ATermAppl makeVar(java.lang.String name)
public static final aterm.ATermAppl makeVar(aterm.ATermAppl name)
public static final aterm.ATermAppl makeValue(aterm.ATerm c)
public static final aterm.ATermAppl makeInv(aterm.ATermAppl r)
public static final aterm.ATermAppl makeInvProp(aterm.ATerm r, aterm.ATerm s)
public static final aterm.ATermAppl makeSub(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeEqClasses(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeSameAs(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeSubProp(aterm.ATerm r, aterm.ATerm s)
public static final aterm.ATermAppl makeEqProp(aterm.ATerm r, aterm.ATerm s)
public static final aterm.ATermAppl makeDomain(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeRange(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeComplement(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeDisjoint(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeDisjoints(aterm.ATermList list)
public static final aterm.ATermAppl makeDisjointProperty(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeDisjointProperties(aterm.ATermList list)
public static final aterm.ATermAppl makeDifferent(aterm.ATerm a, aterm.ATerm b)
public static final aterm.ATermAppl makeAllDifferent(aterm.ATermList list)
public static final aterm.ATermAppl makeAsymmetric(aterm.ATerm r)
@Deprecated public static final aterm.ATermAppl makeAntisymmetric(aterm.ATerm r)
makeAsymmetric(ATerm)
public static final aterm.ATermAppl makeFunctional(aterm.ATerm a)
public static final aterm.ATermAppl makeInverseFunctional(aterm.ATerm a)
public static final aterm.ATermAppl makeIrreflexive(aterm.ATerm r)
public static final aterm.ATermAppl makeReflexive(aterm.ATerm r)
public static final aterm.ATermAppl makeSymmetric(aterm.ATerm r)
public static final aterm.ATermAppl makeTransitive(aterm.ATerm r)
public static final aterm.ATermAppl makeAnd(aterm.ATerm c1, aterm.ATerm c2)
public static aterm.ATermAppl makeAnd(aterm.ATermList list)
public static final aterm.ATermAppl makeOr(aterm.ATermAppl c1, aterm.ATermAppl c2)
public static aterm.ATermAppl makeOr(aterm.ATermList list)
public static final aterm.ATermAppl makeAllValues(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeSomeValues(aterm.ATerm r, aterm.ATerm c)
public static final aterm.ATermAppl makeSelf(aterm.ATermAppl r)
public static final aterm.ATermAppl makeHasValue(aterm.ATerm r, aterm.ATerm ind)
public static final aterm.ATermAppl makeNormalizedMax(aterm.ATermAppl r, int n, aterm.ATermAppl c)
public static final aterm.ATermAppl makeMax(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeMax(aterm.ATerm r, aterm.ATermInt n, aterm.ATerm c)
public static final aterm.ATermAppl makeMin(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeMin(aterm.ATerm r, aterm.ATermInt n, aterm.ATerm c)
public static final aterm.ATermAppl makeDisplayCard(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeDisplayMax(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeDisplayMin(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeCard(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeExactCard(aterm.ATerm r, int n, aterm.ATerm c)
public static final aterm.ATermAppl makeExactCard(aterm.ATerm r, aterm.ATermInt n, aterm.ATerm c)
public static final aterm.ATermAppl makeFacetRestriction(aterm.ATermAppl facetName, aterm.ATermAppl facetValue)
public static final aterm.ATermAppl makeRestrictedDatatype(aterm.ATermAppl baseDatatype, aterm.ATermAppl[] restrictions)
public static final aterm.ATermAppl makeDatatypeDefinition(aterm.ATermAppl datatype, aterm.ATermAppl definition)
public static final boolean isRestrictedDatatype(aterm.ATermAppl term)
public static final aterm.ATermList makeList(aterm.ATerm singleton)
public static final aterm.ATermList makeList(aterm.ATerm first, aterm.ATermList rest)
public static aterm.ATermList makeList(java.util.Collection<aterm.ATermAppl> set)
public static final aterm.ATermList makeList(aterm.ATerm[] aTerms)
public static final boolean member(aterm.ATerm a, aterm.ATermList list)
public static boolean isSet(aterm.ATermList list)
public static aterm.ATermList toSet(aterm.ATermList list)
public static aterm.ATermList toSet(aterm.ATerm[] a, int size)
public static aterm.ATermList toSet(java.util.Collection<aterm.ATermAppl> terms)
public static java.lang.String toString(java.util.Collection<aterm.ATermAppl> terms)
toString(ATermAppl)
function will be called to create the string representation.
terms
- a collection of terms
public static java.lang.String toString(aterm.ATermAppl term)
term
- term whose string representation we are creating
public static java.lang.String toString(aterm.ATermAppl term, boolean printLocalName, boolean printNNF)
term
- term whose string representation we are creating
public static aterm.ATermAppl[] toArray(aterm.ATermList list)
public static final void assertTrue(boolean condition)
public static final boolean isPrimitive(aterm.ATermAppl c)
public static final boolean isNegatedPrimitive(aterm.ATermAppl c)
public static final boolean isPrimitiveOrNegated(aterm.ATermAppl c)
public static final boolean isBnode(aterm.ATermAppl name)
public static final boolean isAnon(aterm.ATermAppl term)
public static final boolean isBuiltinProperty(aterm.ATermAppl name)
public static java.util.Set<aterm.ATermAppl> listToSet(aterm.ATermList list)
public static java.util.Set<aterm.ATermAppl> getPrimitives(aterm.ATermList list)
public static final aterm.ATermAppl getTop(Role r)
public static final boolean isTop(aterm.ATermAppl a)
public static final boolean isBottom(aterm.ATermAppl a)
public static final boolean isInv(aterm.ATermAppl r)
public static final boolean isAnd(aterm.ATermAppl a)
public static final boolean isOr(aterm.ATermAppl a)
public static final boolean isAllValues(aterm.ATermAppl a)
public static final boolean isSomeValues(aterm.ATermAppl a)
public static final boolean isSelf(aterm.ATermAppl a)
public static final boolean isHasValue(aterm.ATermAppl a)
public static final boolean isNominal(aterm.ATermAppl a)
public static final boolean isOneOf(aterm.ATermAppl a)
public static final boolean isDataRange(aterm.ATermAppl a)
public static final boolean isNot(aterm.ATermAppl a)
public static final boolean isMax(aterm.ATermAppl a)
public static final boolean isMin(aterm.ATermAppl a)
public static final boolean isCard(aterm.ATermAppl a)
public static final boolean isLiteral(aterm.ATermAppl a)
public static final boolean isVar(aterm.ATermAppl a)
public static final boolean isTransitiveChain(aterm.ATermList chain, aterm.ATerm r)
public static boolean isComplexClass(aterm.ATerm c)
public static final boolean isPropertyAssertion(aterm.ATermAppl a)
public static final boolean isTypeAssertion(aterm.ATermAppl a)
public static aterm.ATerm nnf(aterm.ATerm term)
public static aterm.ATermList nnf(aterm.ATermList list)
public static aterm.ATermAppl nnf(aterm.ATermAppl term)
public static java.util.Collection<aterm.ATermAppl> normalize(java.util.Collection<aterm.ATermAppl> terms)
public static aterm.ATermList normalize(aterm.ATermList list)
public static aterm.ATermAppl normalize(aterm.ATermAppl term)
term
-
public static aterm.ATermAppl simplify(aterm.ATermAppl term)
term
-
public static aterm.ATermAppl makeSimplifiedAnd(java.util.Collection<aterm.ATermAppl> conjuncts)
conjuncts
-
public static java.util.Set<aterm.ATermAppl> findPrimitives(aterm.ATermAppl term)
public static java.util.Set<aterm.ATermAppl> findPrimitives(aterm.ATermAppl term, boolean skipRestrictions, boolean skipTopLevel)
public static void findPrimitives(aterm.ATermAppl term, java.util.Set<aterm.ATermAppl> primitives)
public static void findPrimitives(aterm.ATermAppl term, java.util.Set<aterm.ATermAppl> primitives, boolean skipRestrictions, boolean skipTopLevel)
public static java.util.Collection<aterm.ATermAppl> primitiveOrBottom(java.util.Collection<aterm.ATermAppl> collection)
public static java.util.Set<aterm.ATermAppl> primitiveOrBottom(java.util.Set<aterm.ATermAppl> collection)
public static aterm.ATermAppl makeRule(aterm.ATermAppl[] head, aterm.ATermAppl[] body)
public static aterm.ATermAppl makeRule(aterm.ATermAppl name, aterm.ATermAppl[] head, aterm.ATermAppl[] body)
public static aterm.ATermAppl makeBuiltinAtom(aterm.ATermAppl[] args)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |