elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/EntailmentQueryState.java
void registerQueries(final Iterable<? extends ElkAxiom> axioms) {

		lastQueries_.clear();
		for (final ElkAxiom axiom : axioms) {

			LOGGER_.trace("entailment query registered {}", axiom);

			lastQueries_.add(axiom);

			QueryState state = queried_.get(axiom);
			if (state != null) {
				queriedEvictor_.add(state);
				continue;
			}
			// Create query state.
			state = new QueryState(axiom);
			queried_.put(axiom, state);
			queriedEvictor_.add(state);
			toLoad_.offer(axiom);

		}

	}
void registerQueries(final Iterable<? extends ElkAxiom> axioms) {

		lastQueries_.clear();
		for (final ElkAxiom axiom : axioms) {

			LOGGER_.trace("entailment query registered {}", axiom);

			lastQueries_.add(axiom);

			QueryState state = queried_.get(axiom);
			if (state != null) {
				queriedEvictor_.add(state);
				continue;
			}
			// Create query state.
			state = new QueryState(axiom);
			queried_.put(axiom, state);
			queriedEvictor_.add(state);
			toLoad_.offer(axiom);

		}

	}
void registerQueries ( final Iterable < ? extends ElkAxiom > axioms ) { lastQueries_ . clear ( ) ; for ( final ElkAxiom axiom : axioms ) { LOGGER_ . trace ( "entailment query registered {}" , axiom ) ; lastQueries_ . add ( axiom ) ; QueryState state = queried_ . get ( axiom ) ; if ( state != null ) { queriedEvictor_ . add ( state ) ; continue ; } // Create query state. state = new QueryState ( axiom ) ; queried_ . put ( axiom , state ) ; queriedEvictor_ . add ( state ) ; toLoad_ . offer ( axiom ) ; } }
Registers the supplied axioms for querying. If all necessary stages are
run after calling this method for some axioms, neither
{@link #isEntailed(Iterable)} nor a
{@link org.semanticweb.elk.reasoner.query.ProperEntailmentQueryResult
ProperEntailmentQueryResult} for any of these axioms will throw
{@link ElkQueryException}.

@param axioms
@return {@code true} if this is a new query, {@code false} if this class
expression has already been registered.
Registers the supplied axioms for querying . If all necessary stages are run after calling this method for some axioms neither { @link #isEntailed ( Iterable ) } nor a { @link org . semanticweb . elk . reasoner . query . ProperEntailmentQueryResult ProperEntailmentQueryResult } for any of these axioms will throw { @link ElkQueryException } .