Uses of Class
ai.krr.propositions.Literal

Packages that use Literal

ai.krr.propositions

Uses of Literal in ai.krr.propositions

Fields in ai.krr.propositions declared as Literal

protected Literal[]

Clause.literals the Literals of this Clause

Methods in ai.krr.propositions that return Literal

Literal	Literal.clone() Cloning a Literal returns a new Literal consisting of the same proposition with the same sign.
Literal	IntEncoding.decode(int enci) This function can be used to decode the given integer, which must have been the result of a previous encoding.
Literal[]	Clause.getLiterals() This function returns the the Literals that are joined in this Clause.
protected Literal	XplSentenceAdaptor.parseLiteral(org.w3c.dom.Element node, java.util.Map<java.lang.String,NameSpace> proxies)

Methods in ai.krr.propositions 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.propositions with parameters of type Literal

int	Literal.compareTo(Literal other) This function compares this Literal to the given Literal.
boolean	Literal.complements(Literal other) This function tests whether this and the given Literal complementary.
boolean	Clause.contains(Literal literal) This function tests whether the given Literal is contained in this Clause.
int	IntEncoding.encode(Literal lit) This function encodes the given Literal.
boolean	Literal.equals(Literal other) A Literal is equal to another Literal that consists of an equal sign and proposition symbol.
protected org.w3c.dom.Element	XplSentenceAdaptor.generateLiteralNode(org.w3c.dom.Document doc, Literal lit, java.util.Set<NameSpace> nss)
protected Clause	Clause.remove(Literal lit) This function returns a Clause in which the given Literal has been removed.
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.propositions 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.
protected Clause	Clause.removeAll(java.util.Set<Literal> lits) This function returns a Clause in which the given Literals have been removed.

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

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

IntEncodedClause(IntEncoding enc, Literal... lits)
This constructor for a Clause takes an Array of Literals.

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

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

IntEncodedClause(IntEncoding enc, java.util.Collection<Literal> lits)
This constructor for a Clause takes a Collection of Literals.