|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BlockingValidator.ArgumentType | |
---|---|
org.semanticweb.HermiT.blocking |
Uses of BlockingValidator.ArgumentType in org.semanticweb.HermiT.blocking |
---|
Fields in org.semanticweb.HermiT.blocking declared as BlockingValidator.ArgumentType | |
---|---|
protected BlockingValidator.ArgumentType[] |
BlockingValidator.SimpleConsequenceAtom.m_argumentTypes
|
Methods in org.semanticweb.HermiT.blocking that return BlockingValidator.ArgumentType | |
---|---|
static BlockingValidator.ArgumentType |
BlockingValidator.ArgumentType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static BlockingValidator.ArgumentType[] |
BlockingValidator.ArgumentType.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Constructors in org.semanticweb.HermiT.blocking with parameters of type BlockingValidator.ArgumentType | |
---|---|
BlockingValidator.SimpleConsequenceAtom(DLPredicate dlPredicate,
BlockingValidator.ArgumentType[] argumentTypes,
int[] argumentIndexes)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |