Uses of Class
ai.krr.fol.Literal

Packages that use Literal

ai.krr.fol

Uses of Literal in ai.krr.fol

Fields in ai.krr.fol declared as Literal

protected Literal[]

Clause.literals the Literals of this Clause

Methods in ai.krr.fol that return Literal

Literal	Literal.clone() Returns a shallow copy of this Literal.
Literal	Literal.clone(Substitution s)
Literal[]	Clause.getLiterals() This function returns the the Literals that are joined in this Clause.
protected Literal	XfolSentenceAdaptor.parseLiteral(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

Methods in ai.krr.fol that return types with arguments of type Literal

(package private) static java.util.List<java.util.List<Literal>>

ConnectedSentence.multiplyS(java.util.List<java.util.List<Literal>> nf, ConnectedSentence lits) This function multiplies the given List of List of Literals with the given ConnectedSentence.

Methods in ai.krr.fol with parameters of type Literal

int	Literal.compareTo(Literal other) This function compares this Literal to the given Literal.
boolean	Literal.complements(Literal other) A Literal is equal to another Literal that consists of a different sign and equal predicate symbol followed by an equal number of equal Terms.
boolean	Literal.complements(Literal other, Substitution s) This function attempts to extend the given Substitution so that this Literal and the given Literal are complementary.
boolean	Clause.contains(Literal literal) This function tests whether the given Literal is contained in this Clause.
boolean	Literal.equals(Literal other) A Literal is equal to any other Literal that consists of an equal sign and predicate symbol followed by an equal number of equal Terms.
protected org.w3c.dom.Element	XfolSentenceAdaptor.generateLiteralNode(org.w3c.dom.Document doc, Literal lit, java.util.Set<NameSpace> nss)
protected static void	KifSentenceAdaptor.prettyPrintLiteral(int indent, Literal lit, java.io.Writer w, java.util.Properties props)
boolean	Literal.unify(Literal other, Substitution s) This function attempts to extend the given Substitution so that this Literal and the given Literal are unified.
protected static void	KifSentenceAdaptor.writeLiteral(Literal lit, java.io.Writer w, java.util.Properties props) This function writes the given Literal to the given Writer.

Method parameters in ai.krr.fol with type arguments of type Literal

(package private) static java.util.List<java.util.List<Literal>>

ConnectedSentence.multiplyS(java.util.List<java.util.List<Literal>> nf, ConnectedSentence lits) This function multiplies the given List of List of Literals with the given ConnectedSentence.

Constructors in ai.krr.fol with parameters of type Literal

Clause(Literal... lits)
This constructor for a Clause takes an Array of Literals.

Constructor parameters in ai.krr.fol with type arguments of type Literal

Clause(java.util.Collection<Literal> lits)
This constructor for a Clause takes a List of Literals.