<?xml version="1.0" encoding="iso-8859-1"?>
<module name="Ft.Rdf.Inference.Common" file="/work/a/ports/textproc/py-4suite/work/4Suite-1.0b1/build/lib.freebsd-8.0-RELEASE-p2-i386-2.4/Ft/Rdf/Inference/Common.py">
  <modification-date>2001-09-16 23:05:44</modification-date>
  <abstract>WWW: http://4suite.org/4RDF         e-mail: support@4suite.org</abstract>
  <description>Copyright (c) 1999 Fourthought Inc, USA.   All Rights Reserved.
See  http://4suite.org/COPYRIGHT  for license and copyright information</description>
  <classes>
    <class name="Argument" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="Argument" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="Argument" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="Argument-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="name"/>
            <arg name="typ"/>
          </arguments>
        </method>
        <method public="yes" name="execute" id="Argument-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="context"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="ArgumentTypes" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="ArgumentTypes" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <fields documented="yes" class="ArgumentTypes" module="Ft.Rdf.Inference.Common" inherited="no">
        <field public="yes" name="ACTION" id="ArgumentTypes-ACTION">
          <value>5</value>
        </field>
        <field public="yes" name="QUERY" id="ArgumentTypes-QUERY">
          <value>4</value>
        </field>
        <field public="yes" name="SKOLEM_VARIABLE" id="ArgumentTypes-SKOLEM_VARIABLE">
          <value>2</value>
        </field>
        <field public="yes" name="STRING_LIST" id="ArgumentTypes-STRING_LIST">
          <value>1</value>
        </field>
        <field public="yes" name="VARIABLE" id="ArgumentTypes-VARIABLE">
          <value>3</value>
        </field>
      </fields>
    </class>
    <class name="Context" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="Context" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="Context" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="Context-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg default="None" name="variables"/>
            <arg default="None" name="external_params"/>
            <arg default="0" name="fire_rules"/>
            <arg default="None" name="nss"/>
          </arguments>
        </method>
        <method public="no" name="__repr__" id="Context-__repr__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="LiteralArgument" public="yes">
      <bases>
        <base documented="yes" class="Argument" module="Ft.Rdf.Inference.Common"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="LiteralArgument" module="Ft.Rdf.Inference.Common"/>
        <base name="Argument" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="LiteralArgument" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="LiteralArgument-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="name"/>
            <arg name="typ"/>
            <arg name="value"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
        <method public="yes" name="execute" id="LiteralArgument-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
      </methods>
    </class>
    <class name="Predicate" public="yes">
      <bases>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="Predicate" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="Predicate" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="Predicate-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="id_"/>
            <arg name="negative"/>
          </arguments>
        </method>
      </methods>
    </class>
    <class name="SkolemVariableArgument" public="yes">
      <bases>
        <base documented="yes" class="Argument" module="Ft.Rdf.Inference.Common"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="SkolemVariableArgument" module="Ft.Rdf.Inference.Common"/>
        <base name="Argument" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="SkolemVariableArgument" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="SkolemVariableArgument-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="name"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
        <method public="yes" name="execute" id="SkolemVariableArgument-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
      </methods>
    </class>
    <class name="StringListLiteralArgument" public="yes">
      <bases>
        <base documented="yes" class="LiteralArgument" module="Ft.Rdf.Inference.Common"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="StringListLiteralArgument" module="Ft.Rdf.Inference.Common"/>
        <base name="LiteralArgument" module="Ft.Rdf.Inference.Common"/>
        <base name="Argument" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="StringListLiteralArgument" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="StringListLiteralArgument-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="name"/>
            <arg name="value"/>
          </arguments>
          <overrides name="LiteralArgument" module="Ft.Rdf.Inference.Common"/>
        </method>
      </methods>
      <methods documented="yes" class="LiteralArgument" module="Ft.Rdf.Inference.Common" inherited="yes">
        <member-reference name="execute" public="yes"/>
      </methods>
    </class>
    <class name="VariableReferenceArgument" public="yes">
      <bases>
        <base documented="yes" class="Argument" module="Ft.Rdf.Inference.Common"/>
      </bases>
      <abstract/>
      <description/>
      <method-resolution-order>
        <base name="VariableReferenceArgument" module="Ft.Rdf.Inference.Common"/>
        <base name="Argument" module="Ft.Rdf.Inference.Common"/>
      </method-resolution-order>
      <methods documented="yes" class="VariableReferenceArgument" module="Ft.Rdf.Inference.Common" inherited="no">
        <method public="no" name="__init__" id="VariableReferenceArgument-__init__">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="name"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
        <method public="yes" name="execute" id="VariableReferenceArgument-execute">
          <abstract/>
          <description/>
          <arguments>
            <arg name="self"/>
            <arg name="infEng"/>
            <arg name="context"/>
          </arguments>
          <overrides name="Argument" module="Ft.Rdf.Inference.Common"/>
        </method>
      </methods>
    </class>
  </classes>
  <functions>
    <function public="yes" name="SplitQName" id="SplitQName">
      <abstract/>
      <description/>
      <arguments>
        <arg name="qname"/>
      </arguments>
    </function>
    <function public="yes" name="StringLiteralArgument" id="StringLiteralArgument">
      <abstract/>
      <description/>
      <arguments>
        <arg name="name"/>
        <arg name="value"/>
      </arguments>
    </function>
  </functions>
</module>
