|
||||||||||
| 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 | |||||||||