Uses of Class
org.semanticweb.HermiT.blocking.BlockingValidator.ArgumentType

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)