org.semanticweb.kaon2.api.rules
Class Rule.SubsumptionResult

java.lang.Object
  org.semanticweb.kaon2.api.rules.Rule.SubsumptionResult

Enclosing interface:

Rule

public static class Rule.SubsumptionResult
extends java.lang.Object

Returns the result of a subsumption check.

Field Summary

boolean	m_isVariableRenaming
java.util.Map<Variable,Term>	m_substitution
Rule.SubsumptionType	m_subsumptionType

Constructor Summary

Rule.SubsumptionResult(Rule.SubsumptionType subsumptionType, java.util.Map<Variable,Term> substitution, boolean isVariableRenaming)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

m_subsumptionType

public final Rule.SubsumptionType m_subsumptionType

m_substitution

public final java.util.Map<Variable,Term> m_substitution

m_isVariableRenaming

public final boolean m_isVariableRenaming

Constructor Detail

Rule.SubsumptionResult

public Rule.SubsumptionResult(Rule.SubsumptionType subsumptionType,
                              java.util.Map<Variable,Term> substitution,
                              boolean isVariableRenaming)