<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A> <B>getBodyLiteral</B>(int&nbsp;bodyLiteralIndex)
                       throws java.lang.ClassCastException</PRE>
<DL>
<DD>Returns the body formula with given index casted to a Literal. If the formula is not a literal, ClassCastException is thrown.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>bodyLiteralIndex</CODE> - the index of the body literal
<DT><B>Returns:</B><DD>the body ltieral with given index
<DT><B>Throws:</B>
<DD><CODE>java.lang.ClassCastException</CODE> - thrown if the body formula with given index is not a Literal</DL>
</DD>
</DL>
<HR>

<A NAME="getBoundVariables()"><!-- --></A><H3>
getBoundVariables</H3>
<PRE>
java.util.Set&lt;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>&gt; <B>getBoundVariables</B>()</PRE>
<DL>
<DD>Returns the set of variables bound by the implicit universal qnaitifier in front of the implication.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the set of bound variables</DL>
</DD>
</DL>
<HR>

<A NAME="replaceHeadOrBody(org.semanticweb.kaon2.api.logic.Formula[], org.semanticweb.kaon2.api.logic.Formula[])"><!-- --></A><H3>
replaceHeadOrBody</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>replaceHeadOrBody</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]&nbsp;newHeadFormulae,
                       <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]&nbsp;newBodyFormulae)</PRE>
<DL>
<DD>Creates a rule in which the body and/or the head formulae are replaced with new formulae.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newHeadFormulae</CODE> - the array of new head formulae, or <code>null</code> if the head formulae of this rule should be used<DD><CODE>newBodyFormulae</CODE> - the array of new body formulae, or <code>null</code> if the body formulae of this rule should be used</DL>
</DD>
</DL>
<HR>

<A NAME="replaceHeadOrBody(org.semanticweb.kaon2.api.logic.Formula[], boolean, org.semanticweb.kaon2.api.logic.Formula[])"><!-- --></A><H3>
replaceHeadOrBody</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>replaceHeadOrBody</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]&nbsp;newHeadFormulae,
                       boolean&nbsp;isHeadConjunctive,
                       <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>[]&nbsp;newBodyFormulae)</PRE>
<DL>
<DD>Creates a rule in which the body and/or the head formulae are replaced with new formulae.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newHeadFormulae</CODE> - the array of new head formulae, or <code>null</code> if the head formulae of this rule should be used<DD><CODE>isHeadConjunctive</CODE> - set to <code>true</code> if the head is to be treated as conjunctive (if <code>newHeadFormulae</code> is null, this parameter is ignored)<DD><CODE>newBodyFormulae</CODE> - the array of new body formulae, or <code>null</code> if the body formulae of this rule should be used</DL>
</DD>
</DL>
<HR>

<A NAME="replaceHeadOrBody(java.util.List, java.util.List)"><!-- --></A><H3>
replaceHeadOrBody</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>replaceHeadOrBody</B>(java.util.List&lt;? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;newHeadFormulae,
                       java.util.List&lt;? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;newBodyFormulae)</PRE>
<DL>
<DD>Creates a rule in which the body and/or the head formulae are replaced with new formulae.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newHeadFormulae</CODE> - the list of new head formulae, or <code>null</code> if the head formulae of this rule should be used<DD><CODE>newBodyFormulae</CODE> - the lsit of new body formulae, or <code>null</code> if the body formulae of this rule should be used</DL>
</DD>
</DL>
<HR>

<A NAME="replaceHeadOrBody(java.util.List, boolean, java.util.List)"><!-- --></A><H3>
replaceHeadOrBody</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>replaceHeadOrBody</B>(java.util.List&lt;? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;newHeadFormulae,
                       boolean&nbsp;isHeadConjunctive,
                       java.util.List&lt;? extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>&gt;&nbsp;newBodyFormulae)</PRE>
<DL>
<DD>Creates a rule in which the body and/or the head formulae are replaced with new formulae.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newHeadFormulae</CODE> - the list of new head formulae, or <code>null</code> if the head formulae of this rule should be used<DD><CODE>isHeadConjunctive</CODE> - set to <code>true</code> if the head is to be treated as conjunctive (if <code>newHeadFormulae</code> is null, this parameter is ignored)<DD><CODE>newBodyFormulae</CODE> - the lsit of new body formulae, or <code>null</code> if the body formulae of this rule should be used</DL>
</DD>
</DL>
<HR>

<A NAME="normalize()"><!-- --></A><H3>
normalize</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>normalize</B>()</PRE>
<DL>
<DD>Normalizes this rule by eliminating certain surplus formulae. It may turn out that the normalized rule is tautological; in that case <code>null</code> is returned.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the normalized rule (or <code>null</code> if the rule is a tautology)</DL>
</DD>
</DL>
<HR>

<A NAME="isDLSafe()"><!-- --></A><H3>
isDLSafe</H3>
<PRE>
boolean <B>isDLSafe</B>()</PRE>
<DL>
<DD>Returns <code>true</code> if the rule is DL-safe.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD><code>true</code> if the rule is DL-safe</DL>
</DD>
</DL>
<HR>

<A NAME="getDLSafeVersion()"><!-- --></A><H3>
getDLSafeVersion</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A> <B>getDLSafeVersion</B>()</PRE>
<DL>
<DD>Returns the DL-safe version of this rule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD>the DL-safe version of this rule</DL>
</DD>
</DL>
<HR>

<A NAME="isRangeRestricted()"><!-- --></A><H3>
isRangeRestricted</H3>
<PRE>
boolean <B>isRangeRestricted</B>()</PRE>
<DL>
<DD>Checks if the rule is range-restricted.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD><code>true</code> if the rule is range-restricted</DL>
</DD>
</DL>
<HR>

<A NAME="subsumes(org.semanticweb.kaon2.api.logic.Rule)"><!-- --></A><H3>
subsumes</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html" title="class in org.semanticweb.kaon2.api.logic">Rule.SubsumptionResult</A> <B>subsumes</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.html" title="interface in org.semanticweb.kaon2.api.logic">Rule</A>&nbsp;rule)</PRE>
<DL>
<DD>Checks whether this rule subsumes another rule.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>rule</CODE> - the other rule
<DT><B>Returns:</B><DD><code>true</code> if this rule subsumes the given rule</DL>
</DD>
</DL>
<HR>

<A NAME="isTautology()"><!-- --></A><H3>
isTautology</H3>
<PRE>
boolean <B>isTautology</B>()</PRE>
<DL>
<DD>Checks if this rule is a tautology. This is the case if the same literal occurs in the body and in the head.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>

<DT><B>Returns:</B><DD><code>true</code> if the rule is a tautology</DL>
</DD>
</DL>
<!-- ========= END OF CLASS DATA ========= -->
<HR>


<!-- ======= START OF BOTTOM NAVBAR ====== -->
<A NAME="navbar_bottom"><!-- --></A>
<A HREF="#skip-navbar_bottom" title="Skip navigation links"></A>
<TABLE BORDER="0" WIDTH="100%" CELLPADDING="1" CELLSPACING="0" SUMMARY="">
<TR>
<TD COLSPAN=2 BGCOLOR="#EEEEFF" CLASS="NavBarCell1">
<A NAME="navbar_bottom_firstrow"><!-- --></A>
<TABLE BORDER="0" CELLPADDING="0" CELLSPACING="3" SUMMARY="">
  <TR ALIGN="center" VALIGN="top">
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../overview-summary.html"><FONT CLASS="NavBarFont1"><B>Overview</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> &nbsp;<FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="class-use/Rule.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A>&nbsp;</TD>
  <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1">    <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A>&nbsp;</TD>
  </TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>

<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
&nbsp;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/QueryDefinition.html" title="interface in org.semanticweb.kaon2.api.logic"><B>PREV CLASS</B></A>&nbsp;
&nbsp;<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Rule.SubsumptionResult.html" title="class in org.semanticweb.kaon2.api.logic"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
  <A HREF="../../../../../index.html?org/semanticweb/kaon2/api/logic/Rule.html" target="_top"><B>FRAMES</B></A>  &nbsp;
&nbsp;<A HREF="Rule.html" target="_top"><B>NO FRAMES</B></A>  &nbsp;
&nbsp;<SCRIPT type="text/javascript">
  <!--
  if(window==top) {
    document.writeln('<A HREF="../../../../../allclasses-noframe.html"><B>All Classes</B></A>');
  }
  //-->
</SCRIPT>
<NOSCRIPT>
  <A HREF="../../../../../allclasses-noframe.html"><B>All Classes</B></A>
</NOSCRIPT>


</FONT></TD>
</TR>
<TR>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
  SUMMARY:&nbsp;<A HREF="#nested_class_summary">NESTED</A>&nbsp;|&nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL:&nbsp;FIELD&nbsp;|&nbsp;CONSTR&nbsp;|&nbsp;<A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->

<HR>

</BODY>
</HTML>