A B C D E F G H I J K L M N O P Q R S T U V W X Y

H

haltButton - Variable in class sjm.examples.logic.LogikusIde

haltButton - Variable in class sjm.examples.logic.LogikusMediator

haltButton - Variable in class sjm.examples.sling.SlingIde

haltButton() - Method in class sjm.examples.logic.LogikusIde

haltButton() - Method in class sjm.examples.sling.SlingIde

haltSource - Variable in class sjm.examples.sling.SlingMediator

hasMore - Variable in class sjm.combinatorics.Permutations

hasMore - Variable in class sjm.combinatorics.Combinations

hasMoreAxioms() - Method in class sjm.engine.ProgramEnumerator

Tests if this enumeration contains more axioms.

hasMoreAxioms() - Method in interface sjm.engine.AxiomEnumeration

Tests if this enumeration contains more axioms.

hasMoreElements() - Method in class sjm.combinatorics.Permutations

hasMoreElements() - Method in class sjm.combinatorics.Combinations

hasMoreElements() - Method in class sjm.parse.Assembly

Returns true if this assembly has unconsumed elements.

hasMoreTokenStrings() - Method in class sjm.parse.tokens.TokenStringSource

Returns true if the source has more TokenStrings.

head() - Method in class sjm.engine.Fact

Returns this fact.

head() - Method in interface sjm.engine.DynamicAxiom

Return the first structure of this dynamic axiom.

head() - Method in interface sjm.engine.Axiom

Return the first structure of this axiom.

head() - Method in class sjm.engine.Rule

Return the first structure in this rule.

headAndTail(Term[], Term) - Static method in class sjm.engine.Structure

headInvolved - Variable in class sjm.engine.DynamicRule

helper - Variable in class sjm.examples.coffee.ShowCoffeeXML

Helper - class sjm.examples.coffee.Helper.

This class is the top of a hierarchy of classes that help to build a coffee object, based on recognizing elements of an XML markup file.

Helper() - Constructor for class sjm.examples.coffee.Helper

helpers - Variable in class sjm.examples.coffee.ShowCoffeeXML

helpers() - Method in class sjm.examples.coffee.ShowCoffeeXML