?? forall.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:29 GMT 2008 -->
<TITLE>
Uses of Interface org.semanticweb.kaon2.api.logic.Forall
</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="Uses of Interface org.semanticweb.kaon2.api.logic.Forall";
}
}
</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="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </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
NEXT</FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/logic/\class-useForall.html" target="_top"><B>FRAMES</B></A>
<A HREF="Forall.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>
</TABLE>
<A NAME="skip-navbar_top"></A>
<!-- ========= END OF TOP NAVBAR ========= -->
<HR>
<CENTER>
<H2>
<B>Uses of Interface<br>org.semanticweb.kaon2.api.logic.Forall</B></H2>
</CENTER>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Packages that use <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD><A HREF="#org.semanticweb.kaon2.api"><B>org.semanticweb.kaon2.api</B></A></TD>
<TD> </TD>
</TR>
</TABLE>
<P>
<A NAME="org.semanticweb.kaon2.api"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableHeadingColor">
<TH ALIGN="left" COLSPAN="2"><FONT SIZE="+2">
Uses of <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A> in <A HREF="../../../../../../org/semanticweb/kaon2/api/package-summary.html">org.semanticweb.kaon2.api</A></FONT></TH>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../../org/semanticweb/kaon2/api/package-summary.html">org.semanticweb.kaon2.api</A> that return <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#forall(java.util.Collection, org.semanticweb.kaon2.api.logic.Formula)">forall</A></B>(java.util.Collection<<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>> boundVariables,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> formula)</CODE>
<BR>
</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/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#forall(java.lang.Object, java.util.Collection, org.semanticweb.kaon2.api.logic.Formula)">forall</A></B>(java.lang.Object axiomID,
java.util.Collection<<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>> boundVariables,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> formula)</CODE>
<BR>
</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/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#forall(java.lang.Object, org.semanticweb.kaon2.api.logic.Variable[], org.semanticweb.kaon2.api.logic.Formula)">forall</A></B>(java.lang.Object axiomID,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>[] boundVariables,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> formula)</CODE>
<BR>
</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/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></CODE></FONT></TD>
<TD><CODE><B>KAON2Factory.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Factory.html#forall(org.semanticweb.kaon2.api.logic.Variable[], org.semanticweb.kaon2.api.logic.Formula)">forall</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Variable.html" title="interface in org.semanticweb.kaon2.api.logic">Variable</A>[] boundVariables,
<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Formula.html" title="interface in org.semanticweb.kaon2.api.logic">Formula</A> formula)</CODE>
<BR>
</TD>
</TR>
</TABLE>
<P>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#CCCCFF" CLASS="TableSubHeadingColor">
<TH ALIGN="left" COLSPAN="2">Methods in <A HREF="../../../../../../org/semanticweb/kaon2/api/package-summary.html">org.semanticweb.kaon2.api</A> with parameters of type <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A></FONT></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> java.lang.Object</CODE></FONT></TD>
<TD><CODE><B>KAON2Visitor.</B><B><A HREF="../../../../../../org/semanticweb/kaon2/api/KAON2Visitor.html#visit(org.semanticweb.kaon2.api.logic.Forall)">visit</A></B>(<A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic">Forall</A> object)</CODE>
<BR>
</TD>
</TR>
</TABLE>
<P>
<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="#EEEEFF" CLASS="NavBarCell1"> <A HREF="../../../../../../org/semanticweb/kaon2/api/logic/Forall.html" title="interface in org.semanticweb.kaon2.api.logic"><FONT CLASS="NavBarFont1"><B>Class</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Use</B></FONT> </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
NEXT</FONT></TD>
<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">
<A HREF="../../../../../../index.html?org/semanticweb/kaon2/api/logic/\class-useForall.html" target="_top"><B>FRAMES</B></A>
<A HREF="Forall.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>
</TABLE>
<A NAME="skip-navbar_bottom"></A>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
<HR>
</BODY>
</HTML>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -