Uses of Class
ai.krr.propositions.IntEncoding

Packages that use IntEncoding

ai.krr.propositions

Uses of IntEncoding in ai.krr.propositions

Methods in ai.krr.propositions with parameters of type IntEncoding

java.util.Set<NamedSymbol>

IntEncodedClause.getPropositions(IntEncoding encoding) This function returns the set of propositional symbols that occur in this Clause.

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

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

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