DefaultLightestClauseHeuristic.html

/aima-all/release/javadoc/aima-core/aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html

http://aima-java.googlecode.com/
HTML | 337 lines | 277 code | 38 blank | 22 comment | 0 complexity | 20c6ec936a4f0139695e24c66ddf799e MD5 | raw file
Possible License(s): GPL-3.0, Apache-2.0

<!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_20) on Sun Jan 08 15:29:07 PST 2012 -->

<TITLE>

DefaultLightestClauseHeuristic

</TITLE>



<META NAME="date" CONTENT="2012-01-08">



<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="DefaultLightestClauseHeuristic";

    }

}

</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>&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="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="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultClauseSimplifier.html" title="class in aima.core.logic.fol.inference.otter.defaultimpl"><B>PREV CLASS</B></A>&nbsp;

&nbsp;NEXT CLASS</FONT></TD>

<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">

  <A HREF="../../../../../../../index.html?aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html" target="_top"><B>FRAMES</B></A>  &nbsp;

&nbsp;<A HREF="DefaultLightestClauseHeuristic.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;NESTED&nbsp;|&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_summary">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>

<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">

DETAIL:&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_detail">CONSTR</A>&nbsp;|&nbsp;<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">

aima.core.logic.fol.inference.otter.defaultimpl</FONT>

<BR>

Class DefaultLightestClauseHeuristic</H2>

<PRE>

java.lang.Object

  <IMG SRC="../../../../../../../resources/inherit.gif" ALT="extended by "><B>aima.core.logic.fol.inference.otter.defaultimpl.DefaultLightestClauseHeuristic</B>

</PRE>

<DL>

<DT><B>All Implemented Interfaces:</B> <DD><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></DD>

</DL>

<HR>

<DL>

<DT><PRE>public class <B>DefaultLightestClauseHeuristic</B><DT>extends java.lang.Object<DT>implements <A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></DL>

</PRE>



<P>

<DL>

<DT><B>Author:</B></DT>

  <DD>Ciaran O'Reilly</DD>

</DL>

<HR>



<P>



<!-- ======== CONSTRUCTOR SUMMARY ======== -->



<A NAME="constructor_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>Constructor Summary</B></FONT></TH>

</TR>

<TR BGCOLOR="white" CLASS="TableRowColor">

<TD><CODE><B><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html#DefaultLightestClauseHeuristic()">DefaultLightestClauseHeuristic</A></B>()</CODE>



<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TD>

</TR>

</TABLE>

&nbsp;

<!-- ========== 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>&nbsp;void</CODE></FONT></TD>

<TD><CODE><B><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html#addedClauseToSOS(aima.core.logic.fol.kb.data.Clause)">addedClauseToSOS</A></B>(<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&nbsp;clause)</CODE>



<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TD>

</TR>

<TR BGCOLOR="white" CLASS="TableRowColor">

<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">

<CODE>&nbsp;<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A></CODE></FONT></TD>

<TD><CODE><B><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html#getLightestClause()">getLightestClause</A></B>()</CODE>



<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Get the lightest clause from the SOS</TD>

</TR>

<TR BGCOLOR="white" CLASS="TableRowColor">

<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">

<CODE>&nbsp;void</CODE></FONT></TD>

<TD><CODE><B><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html#initialSOS(java.util.Set)">initialSOS</A></B>(java.util.Set&lt;<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&gt;&nbsp;clauses)</CODE>



<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;SOS life-cycle methods allowing implementations of this interface to
 incrementally update the calculation of the lightest clause as opposed to
 having to recalculate each time.</TD>

</TR>

<TR BGCOLOR="white" CLASS="TableRowColor">

<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">

<CODE>&nbsp;void</CODE></FONT></TD>

<TD><CODE><B><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html#removedClauseFromSOS(aima.core.logic.fol.kb.data.Clause)">removedClauseFromSOS</A></B>(<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&nbsp;clause)</CODE>



<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</TD>

</TR>

</TABLE>

&nbsp;<A NAME="methods_inherited_from_class_java.lang.Object"><!-- --></A>

<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">

<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">

<TH ALIGN="left"><B>Methods inherited from class java.lang.Object</B></TH>

</TR>

<TR BGCOLOR="white" CLASS="TableRowColor">

<TD><CODE>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</CODE></TD>

</TR>

</TABLE>

&nbsp;

<P>



<!-- ========= CONSTRUCTOR DETAIL ======== -->



<A NAME="constructor_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>Constructor Detail</B></FONT></TH>

</TR>

</TABLE>



<A NAME="DefaultLightestClauseHeuristic()"><!-- --></A><H3>

DefaultLightestClauseHeuristic</H3>

<PRE>

public <B>DefaultLightestClauseHeuristic</B>()</PRE>

<DL>

</DL>



<!-- ============ 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="getLightestClause()"><!-- --></A><H3>

getLightestClause</H3>

<PRE>

public <A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A> <B>getLightestClause</B>()</PRE>

<DL>

<DD><B>Description copied from interface: <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#getLightestClause()">LightestClauseHeuristic</A></CODE></B></DD>

<DD>Get the lightest clause from the SOS

<P>

<DD><DL>

<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#getLightestClause()">getLightestClause</A></CODE> in interface <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></CODE></DL>

</DD>

<DD><DL>



<DT><B>Returns:</B><DD>the lightest clause.</DL>

</DD>

</DL>

<HR>



<A NAME="initialSOS(java.util.Set)"><!-- --></A><H3>

initialSOS</H3>

<PRE>

public void <B>initialSOS</B>(java.util.Set&lt;<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&gt;&nbsp;clauses)</PRE>

<DL>

<DD><B>Description copied from interface: <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#initialSOS(java.util.Set)">LightestClauseHeuristic</A></CODE></B></DD>

<DD>SOS life-cycle methods allowing implementations of this interface to
 incrementally update the calculation of the lightest clause as opposed to
 having to recalculate each time.

<P>

<DD><DL>

<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#initialSOS(java.util.Set)">initialSOS</A></CODE> in interface <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></CODE></DL>

</DD>

<DD><DL>

</DL>

</DD>

</DL>

<HR>



<A NAME="addedClauseToSOS(aima.core.logic.fol.kb.data.Clause)"><!-- --></A><H3>

addedClauseToSOS</H3>

<PRE>

public void <B>addedClauseToSOS</B>(<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&nbsp;clause)</PRE>

<DL>

<DD><DL>

<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#addedClauseToSOS(aima.core.logic.fol.kb.data.Clause)">addedClauseToSOS</A></CODE> in interface <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></CODE></DL>

</DD>

<DD><DL>

</DL>

</DD>

</DL>

<HR>



<A NAME="removedClauseFromSOS(aima.core.logic.fol.kb.data.Clause)"><!-- --></A><H3>

removedClauseFromSOS</H3>

<PRE>

public void <B>removedClauseFromSOS</B>(<A HREF="../../../../../../../aima/core/logic/fol/kb/data/Clause.html" title="class in aima.core.logic.fol.kb.data">Clause</A>&nbsp;clause)</PRE>

<DL>

<DD><DL>

<DT><B>Specified by:</B><DD><CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html#removedClauseFromSOS(aima.core.logic.fol.kb.data.Clause)">removedClauseFromSOS</A></CODE> in interface <CODE><A HREF="../../../../../../../aima/core/logic/fol/inference/otter/LightestClauseHeuristic.html" title="interface in aima.core.logic.fol.inference.otter">LightestClauseHeuristic</A></CODE></DL>

</DD>

<DD><DL>

</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="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="../../../../../../../aima/core/logic/fol/inference/otter/defaultimpl/DefaultClauseSimplifier.html" title="class in aima.core.logic.fol.inference.otter.defaultimpl"><B>PREV CLASS</B></A>&nbsp;

&nbsp;NEXT CLASS</FONT></TD>

<TD BGCOLOR="white" CLASS="NavBarCell2"><FONT SIZE="-2">

  <A HREF="../../../../../../../index.html?aima/core/logic/fol/inference/otter/defaultimpl/DefaultLightestClauseHeuristic.html" target="_top"><B>FRAMES</B></A>  &nbsp;

&nbsp;<A HREF="DefaultLightestClauseHeuristic.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;NESTED&nbsp;|&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_summary">CONSTR</A>&nbsp;|&nbsp;<A HREF="#method_summary">METHOD</A></FONT></TD>

<TD VALIGN="top" CLASS="NavBarCell3"><FONT SIZE="-2">

DETAIL:&nbsp;FIELD&nbsp;|&nbsp;<A HREF="#constructor_detail">CONSTR</A>&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>