📄 fmethodcall.html
字号:
<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 with given index.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>argumentIndex</CODE> - the index of the argument
<DT><B>Returns:</B><DD>the argument with given index</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 all arguments. The returned array is not owned by this objet and can be freely changed.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the arguments of this term</DL>
</DD>
</DL>
<HR>
<A NAME="getType()"><!-- --></A><H3>
getType</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A> <B>getType</B>()</PRE>
<DL>
<DD>Returns the type of this method call.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the type of this method call</DL>
</DD>
</DL>
<HR>
<A NAME="getNumberOfResults()"><!-- --></A><H3>
getNumberOfResults</H3>
<PRE>
int <B>getNumberOfResults</B>()</PRE>
<DL>
<DD>Returns the number of results.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the number of results of this method call</DL>
</DD>
</DL>
<HR>
<A NAME="getResultTerm()"><!-- --></A><H3>
getResultTerm</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getResultTerm</B>()</PRE>
<DL>
<DD>Returns the term of the zeroth result. This is a shortcut method for getResultTerm(0), often used for single-valued method calls.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the term of the zeroth result</DL>
</DD>
</DL>
<HR>
<A NAME="getResultFMolecule()"><!-- --></A><H3>
getResultFMolecule</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A> <B>getResultFMolecule</B>()</PRE>
<DL>
<DD>Returns the F-molecule of the zeroth result. This is a shortcut method for getResultFMolecule(0), often used for single-valued method calls.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the F-molecule of the zeroth result (or <code>null</code>)</DL>
</DD>
</DL>
<HR>
<A NAME="getResultTerm(int)"><!-- --></A><H3>
getResultTerm</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getResultTerm</B>(int resultIndex)</PRE>
<DL>
<DD>Returns the term of the result with the given index.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>resultIndex</CODE> - the index of the required result
<DT><B>Returns:</B><DD>the term of the result with given index</DL>
</DD>
</DL>
<HR>
<A NAME="getResultFMolecule(int)"><!-- --></A><H3>
getResultFMolecule</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMolecule.html" title="interface in org.semanticweb.kaon2.api.flogic">FMolecule</A> <B>getResultFMolecule</B>(int resultIndex)</PRE>
<DL>
<DD>Returns the F-molecule listed as the result with given index. If the result with given index is not an F-molecule, <code>null</code> is returned.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>resultIndex</CODE> - the index of the required result
<DT><B>Returns:</B><DD>the F-molecule of the result with given index, or <code>null</code> if given result is not an F-molecule</DL>
</DD>
</DL>
<HR>
<A NAME="getResults()"><!-- --></A><H3>
getResults</H3>
<PRE>
java.lang.Object[] <B>getResults</B>()</PRE>
<DL>
<DD>Returns the array of results. The resulting array is not owned by this object and cann be freely changed. The members are either FMolecule or Term objects.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the array of results</DL>
</DD>
</DL>
<HR>
<A NAME="replaceParts(org.semanticweb.kaon2.api.logic.Term, org.semanticweb.kaon2.api.logic.Term[], org.semanticweb.kaon2.api.flogic.FMethodCallType, java.lang.Object[])"><!-- --></A><H3>
replaceParts</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A> <B>replaceParts</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> newMethodName,
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[] newArguments,
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic">FMethodCallType</A> newMethodCallType,
java.lang.Object[] newResults)</PRE>
<DL>
<DD>Creates a new object with certain parts replaced. This method attempts to be memory efficient by reusing unchanged arrays.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>newMethodName</CODE> - the new name of the method<DD><CODE>newArguments</CODE> - the new arguments (or <code>null</code> if the arguments should not be replaced)<DD><CODE>newMethodCallType</CODE> - the new type of the metod call<DD><CODE>newResults</CODE> - the new results (or <code>null</code> if the results should not be changed</DL>
</DD>
</DL>
<HR>
<A NAME="getFreeVariables()"><!-- --></A><H3>
getFreeVariables</H3>
<PRE>
java.util.Set<<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>> <B>getFreeVariables</B>()</PRE>
<DL>
<DD>Returns the set of the free variables of this method call.
<P>
<DD><DL>
<DT><B>Returns:</B><DD>the set of the free variables</DL>
</DD>
</DL>
<HR>
<A NAME="getFreeVariables(java.util.Set)"><!-- --></A><H3>
getFreeVariables</H3>
<PRE>
void <B>getFreeVariables</B>(java.util.Set<<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>> freeVariables)</PRE>
<DL>
<DD>Adds the free variables of this method call to the supplied set.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>freeVariables</CODE> - the set receiving the free variables</DL>
</DD>
</DL>
<HR>
<A NAME="isClosed()"><!-- --></A><H3>
isClosed</H3>
<PRE>
boolean <B>isClosed</B>()</PRE>
<DL>
<DD>Returns <code>true</code> if this method call is closed---that is, if it does not have free variables. Hence, this method returns <code>true</code> if and only if getFreeVariables().isEmpty() returns <code>true</code>; however, this method may be faster.
<P>
<DD><DL>
<DT><B>Returns:</B><DD><code>true</code> if this formula is closed</DL>
</DD>
</DL>
<HR>
<A NAME="isGround()"><!-- --></A><H3>
isGround</H3>
<PRE>
boolean <B>isGround</B>()</PRE>
<DL>
<DD>Returns <code>true</code> if this term is ground---that it, if it does not contain a variable.
<P>
<DD><DL>
<DT><B>Returns:</B><DD><code>true</code> if this term is ground</DL>
</DD>
</DL>
<HR>
<A NAME="apply(java.util.Map)"><!-- --></A><H3>
apply</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCall.html" title="interface in org.semanticweb.kaon2.api.flogic">FMethodCall</A> <B>apply</B>(java.util.Map<<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>,<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>> substitution)</PRE>
<DL>
<DD>Returns the method call obtained by replacing free variables according to the specified substitution.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>substitution</CODE> - the substitution
<DT><B>Returns:</B><DD>the result of applying the substitution to the method call</DL>
</DD>
</DL>
<HR>
<A NAME="accept(org.semanticweb.kaon2.api.KAON2Visitor)"><!-- --></A><H3>
accept</H3>
<PRE>
java.lang.Object <B>accept</B>(<A HREF="../../../../../org/semanticweb/kaon2/api/KAON2Visitor.html" title="interface in org.semanticweb.kaon2.api">KAON2Visitor</A> visitor)</PRE>
<DL>
<DD>Accepts a visitor.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>visitor</CODE> - the visitor
<DT><B>Returns:</B><DD>the result of the visitor</DL>
</DD>
</DL>
<HR>
<A NAME="toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)"><!-- --></A><H3>
toString</H3>
<PRE>
void <B>toString</B>(java.lang.StringBuffer buffer,
<A HREF="../../../../../org/semanticweb/kaon2/api/Namespaces.html" title="class in org.semanticweb.kaon2.api">Namespaces</A> namespaces)</PRE>
<DL>
<DD>Writes this object to the supplied string buffer.
<P>
<DD><DL>
<DT><B>Parameters:</B><DD><CODE>buffer</CODE> - the buffer<DD><CODE>namespaces</CODE> - the namespaces object</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/FMethodCall.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">
PREV CLASS
<A HREF="../../../../../org/semanticweb/kaon2/api/flogic/FMethodCallType.html" title="enum in org.semanticweb.kaon2.api.flogic"><B>NEXT CLASS</B></A></FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../../index.html?org/semanticweb/kaon2/api/flogic/FMethodCall.html" target="_top"><B>FRAMES</B></A>
<A HREF="FMethodCall.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 + -