📄 literal.html
字号:
<A NAME="getPredicate()"><!-- --></A><H3>
getPredicate</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A> <B>getPredicate</B>()</PRE>
<DL>
<DD>Returns the predicate of this literal.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the predicate</DL>
</DD>
</DL>
<HR>
<A NAME="getPredicateSymbol()"><!-- --></A><H3>
getPredicateSymbol</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic">PredicateSymbol</A> <B>getPredicateSymbol</B>()</PRE>
<DL>
<DD>If the predicate of this literal is a PredicateSymbol, then this method returns it; otherwise, it returns <code>null</code>.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the predicate symbol or <code>null</code></DL>
</DD>
</DL>
<HR>
<A NAME="getArguments()"><!-- --></A><H3>
getArguments</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[] <B>getArguments</B>()</PRE>
<DL>
<DD>Returns the array of argument terms. This object is not owned by the literal (i.e. it can be changed without affecting this literal).
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the argument terms</DL>
</DD>
</DL>
<HR>
<A NAME="getArity()"><!-- --></A><H3>
getArity</H3>
<PRE>
int <B>getArity</B>()</PRE>
<DL>
<DD>Returns the arity of the literal.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the arity of the literal</DL>
</DD>
</DL>
<HR>
<A NAME="isArgumentBoundToVariable(int)"><!-- --></A><H3>
isArgumentBoundToVariable</H3>
<PRE>
boolean <B>isArgumentBoundToVariable</B>(int argumentIndex)</PRE>
<DL>
<DD>Reutrns <code>true</code> if given argument is bound to a variable.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD><code>true</code> if the argument is bound to a variable</DL>
</DD>
</DL>
<HR>
<A NAME="isArgumentBoundToConstant(int)"><!-- --></A><H3>
isArgumentBoundToConstant</H3>
<PRE>
boolean <B>isArgumentBoundToConstant</B>(int argumentIndex)</PRE>
<DL>
<DD>Reutrns <code>true</code> if given argument is bound to a constant.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD><code>true</code> if the argument is bound to a constant</DL>
</DD>
</DL>
<HR>
<A NAME="isArgumentBoundToFunctionalTerm(int)"><!-- --></A><H3>
isArgumentBoundToFunctionalTerm</H3>
<PRE>
boolean <B>isArgumentBoundToFunctionalTerm</B>(int argumentIndex)</PRE>
<DL>
<DD>Reutrns <code>true</code> if given argument is bound to a functional term.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD><code>true</code> if the argument is bound to a functional term</DL>
</DD>
</DL>
<HR>
<A NAME="getArgument(int)"><!-- --></A><H3>
getArgument</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getArgument</B>(int argumentIndex)</PRE>
<DL>
<DD>Returns the argument at given position.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD>the term at given position</DL>
</DD>
</DL>
<HR>
<A NAME="getArgumentVariable(int)"><!-- --></A><H3>
getArgumentVariable</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A> <B>getArgumentVariable</B>(int argumentIndex)</PRE>
<DL>
<DD>Returns the variable at given position.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD>the variable at given position (or <code>null</code> if given position is not bound to a variable)</DL>
</DD>
</DL>
<HR>
<A NAME="getArgumentConstant(int)"><!-- --></A><H3>
getArgumentConstant</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Constant.html" title="interface in org.semanticweb.kaon2.api.logic">Constant</A> <B>getArgumentConstant</B>(int argumentIndex)</PRE>
<DL>
<DD>Returns the constant of the given argument.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD>the constant (or <code>null</code> if the argument is not bound to a constant)</DL>
</DD>
</DL>
<HR>
<A NAME="getArgumentFunctionalTerm(int)"><!-- --></A><H3>
getArgumentFunctionalTerm</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/FunctionalTerm.html" title="interface in org.semanticweb.kaon2.api.logic">FunctionalTerm</A> <B>getArgumentFunctionalTerm</B>(int argumentIndex)</PRE>
<DL>
<DD>Returns the functional term of the given argument.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD>the functional term (or <code>null</code> if the argument is not bound to a functional term)</DL>
</DD>
</DL>
<HR>
<A NAME="containsVariable(org.semanticweb.kaon2.api.logic.Variable)"><!-- --></A><H3>
containsVariable</H3>
<PRE>
boolean <B>containsVariable</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A> variable)</PRE>
<DL>
<DD>Returns <code>true</code> if this literal contains the supplied variable.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>variable</CODE> - the variable
<DT><B>Returns:</B><DD><code>true</code> if this literal contains the supplied variable</DL>
</DD>
</DL>
<HR>
<A NAME="replacePredicate(org.semanticweb.kaon2.api.logic.Predicate)"><!-- --></A><H3>
replacePredicate</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A> <B>replacePredicate</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A> newPredicate)</PRE>
<DL>
<DD>Replaces the predicate of the literal. This method may be somewhat more memory efficient, because it attempts to reuse the arguments array.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newPredicate</CODE> - the predicate of the new literal
<DT><B>Returns:</B><DD>the literal with a new predicate</DL>
</DD>
</DL>
<HR>
<A NAME="replacePredicateAndPolarity(boolean, org.semanticweb.kaon2.api.logic.Predicate)"><!-- --></A><H3>
replacePredicateAndPolarity</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A> <B>replacePredicateAndPolarity</B>(boolean newIsPositive,
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A> newPredicate)</PRE>
<DL>
<DD>Replaces the predicate and polarity of the literal. This method may be somewhat more memory efficient, because it attempts to reuse the arguments array.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newIsPositive</CODE> - the new polarity of the literal<DD><CODE>newPredicate</CODE> - the predicate of the new literal
<DT><B>Returns:</B><DD>the literal with a new predicate</DL>
</DD>
</DL>
<HR>
<A NAME="replaceModule(org.semanticweb.kaon2.api.logic.Term)"><!-- --></A><H3>
replaceModule</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A> <B>replaceModule</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> newModule)</PRE>
<DL>
<DD>Replaces the module. This method may be somewhat more memory efficient, because it attempts to reuse the arguments array.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newModule</CODE> - the new module of the literal
<DT><B>Returns:</B><DD>the literal with a new module</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> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Class</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="class-use/Literal.html"><FONT CLASS="NavBarFont1"><B>Use</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
</TR>
</TABLE>
</TD>
<TD ALIGN="right" VALIGN="top" ROWSPAN=3><EM>
</EM>
</TD>
</TR>
<TR>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Implication.html" title="interface in org.semanticweb.kaon2.api.logic"><B>PREV CLASS</B></A>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface 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/Literal.html" target="_top"><B>FRAMES</B></A>
<A HREF="Literal.html" target="_top"><B>NO FRAMES</B></A>
<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: NESTED | FIELD | CONSTR | <A HREF="#method_summary">METHOD</A></FONT></TD>
<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">
DETAIL: FIELD | CONSTR | <A HREF="#method_detail">METHOD</A></FONT></TD>
</TR>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
<HR>
</BODY>
</HTML>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -