📄 literal.html
字号:
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!--NewPage-->
<HTML>
<HEAD>
<!-- Generated by javadoc (build 1.6.0_02) on Mon Jan 14 15:06:27 GMT 2008 -->
<TITLE>
Literal
</TITLE>
<META NAME="date" CONTENT="2008-01-14">
<LINK REL ="stylesheet" TYPE="text/css" HREF="../../../../../stylesheet.css" TITLE="Style">
<SCRIPT type="text/javascript">
function windowTitle()
{
if (location.href.indexOf('is-external=true') == -1) {
parent.document.title="Literal";
}
}
</SCRIPT>
<NOSCRIPT>
</NOSCRIPT>
</HEAD>
<BODY BGCOLOR="white" onload="windowTitle();">
<HR>
<!-- ========= START OF TOP NAVBAR ======= -->
<A NAME="navbar_top"><!-- --></A>
<A HREF="#skip-navbar_top" 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_top_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_top"></A>
<!-- ========= END OF TOP NAVBAR ========= -->
<HR>
<!-- ======== START OF CLASS DATA ======== -->
<H2>
<FONT SIZE="-1">
org.semanticweb.kaon2.api.logic</FONT>
<BR>
Interface Literal</H2>
<DL>
<DT><B>All Superinterfaces:</B> <DD><A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Fact.html" title="interface in org.semanticweb.kaon2.api">Fact</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></DD>
</DL>
<HR>
<DL>
<DT><PRE>public interface <B>Literal</B><DT>extends <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/FactFormula.html" title="interface in org.semanticweb.kaon2.api.logic">FactFormula</A></DL>
</PRE>
<P>
Represents a literal in the rule. A literal consists of a predicate, a pattern representing the variable names or constants and a flag determining whether the literal is negated.
<P>
<P>
<HR>
<P>
<!-- ========== METHOD SUMMARY =========== -->
<A NAME="method_summary"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
<B>Method Summary</B></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#containsVariable(org.semanticweb.kaon2.api.logic.Variable)">containsVariable</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A> variable)</CODE>
<BR>
Returns <code>true</code> if this literal contains the supplied variable.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArgument(int)">getArgument</A></B>(int argumentIndex)</CODE>
<BR>
Returns the argument at given position.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Constant.html" title="interface in org.semanticweb.kaon2.api.logic">Constant</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArgumentConstant(int)">getArgumentConstant</A></B>(int argumentIndex)</CODE>
<BR>
Returns the constant of the given argument.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/FunctionalTerm.html" title="interface in org.semanticweb.kaon2.api.logic">FunctionalTerm</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArgumentFunctionalTerm(int)">getArgumentFunctionalTerm</A></B>(int argumentIndex)</CODE>
<BR>
Returns the functional term of the given argument.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A>[]</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArguments()">getArguments</A></B>()</CODE>
<BR>
Returns the array of argument terms.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArgumentVariable(int)">getArgumentVariable</A></B>(int argumentIndex)</CODE>
<BR>
Returns the variable at given position.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getArity()">getArity</A></B>()</CODE>
<BR>
Returns the arity of the literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getModule()">getModule</A></B>()</CODE>
<BR>
Returns the module of this literal, or <code>null</code> if no module has been supplied.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getPredicate()">getPredicate</A></B>()</CODE>
<BR>
Returns the predicate of this literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/PredicateSymbol.html" title="interface in org.semanticweb.kaon2.api.logic">PredicateSymbol</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#getPredicateSymbol()">getPredicateSymbol</A></B>()</CODE>
<BR>
If the predicate of this literal is a PredicateSymbol, then this method returns it; otherwise, it returns <code>null</code>.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#isArgumentBoundToConstant(int)">isArgumentBoundToConstant</A></B>(int argumentIndex)</CODE>
<BR>
Reutrns <code>true</code> if given argument is bound to a constant.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#isArgumentBoundToFunctionalTerm(int)">isArgumentBoundToFunctionalTerm</A></B>(int argumentIndex)</CODE>
<BR>
Reutrns <code>true</code> if given argument is bound to a functional term.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#isArgumentBoundToVariable(int)">isArgumentBoundToVariable</A></B>(int argumentIndex)</CODE>
<BR>
Reutrns <code>true</code> if given argument is bound to a variable.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#isPositive()">isPositive</A></B>()</CODE>
<BR>
Returns <code>true</code> if this literal is positive (with respect to non-monotonic negation).</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#replaceModule(org.semanticweb.kaon2.api.logic.Term)">replaceModule</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> newModule)</CODE>
<BR>
Replaces the module.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#replacePredicate(org.semanticweb.kaon2.api.logic.Predicate)">replacePredicate</A></B>(<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A> newPredicate)</CODE>
<BR>
Replaces the predicate of the literal.</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html" title="interface in org.semanticweb.kaon2.api.logic">Literal</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Literal.html#replacePredicateAndPolarity(boolean, org.semanticweb.kaon2.api.logic.Predicate)">replacePredicateAndPolarity</A></B>(boolean newIsPositive,
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Predicate.html" title="interface in org.semanticweb.kaon2.api.logic">Predicate</A> newPredicate)</CODE>
<BR>
Replaces the predicate and polarity of the literal.</TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.logic.Formula"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.logic.<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#apply(java.util.Map)">apply</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getClassicalComplementNNF()">getClassicalComplementNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getDefaultComplementNNF()">getDefaultComplementNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables()">getFreeVariables</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getFreeVariables(java.util.Set)">getFreeVariables</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#getNNF()">getNNF</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isClosed()">isClosed</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isGround()">isGround</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/logic/Formula.html#isInNNF()">isInNNF</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_org.semanticweb.kaon2.api.Axiom"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left"><B>Methods inherited from interface org.semanticweb.kaon2.api.<A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html" title="interface in org.semanticweb.kaon2.api">Axiom</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><CODE><A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#accept(org.semanticweb.kaon2.api.KAON2Visitor)">accept</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#getAxiomID()">getAxiomID</A>, <A HREF="../../../../../org/semanticweb/kaon2/api/Axiom.html#toString(java.lang.StringBuffer, org.semanticweb.kaon2.api.Namespaces)">toString</A></CODE></TD>
</TR>
</TABLE>
<P>
<!-- ============ METHOD DETAIL ========== -->
<A NAME="method_detail"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="1"><FONT SIZE="+2">
<B>Method Detail</B></FONT></TH>
</TR>
</TABLE>
<A NAME="getModule()"><!-- --></A><H3>
getModule</H3>
<PRE>
<A HREF="../../../../../org/semanticweb/kaon2/api/logic/Term.html" title="interface in org.semanticweb.kaon2.api.logic">Term</A> <B>getModule</B>()</PRE>
<DL>
<DD>Returns the module of this literal, or <code>null</code> if no module has been supplied.
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD>the module of this literal</DL>
</DD>
</DL>
<HR>
<A NAME="isPositive()"><!-- --></A><H3>
isPositive</H3>
<PRE>
boolean <B>isPositive</B>()</PRE>
<DL>
<DD>Returns <code>true</code> if this literal is positive (with respect to non-monotonic negation).
<P>
<DD><DL>
</DL>
</DD>
<DD><DL>
<DT><B>Returns:</B><DD><code>true</code> is this literal is positive</DL>
</DD>
</DL>
<HR>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -