Uses of Class
ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

Packages that use IntEncodedClause.IntEncodedClauseList

ai.krr.propositions

Uses of IntEncodedClause.IntEncodedClauseList in ai.krr.propositions

Methods in ai.krr.propositions that return IntEncodedClause.IntEncodedClauseList

static IntEncodedClause.IntEncodedClauseList	IntEncodedClause.CnfIntEncodedClauseListAdaptor.parseClauseList(java.io.Reader r, java.util.Properties props) This function attempts to parse a propositional Sentence in KIF syntax from the underlying LexicalAnalyzer.
IntEncodedClause.IntEncodedClauseList	IntEncodedClause.CnfIntEncodedClauseListAdaptor.read(java.io.Reader r) This function attempts to parse characters from the given Reader until an IntEncodedClauseList that represents an object in the internal representation has been parsed.
static IntEncodedClause.IntEncodedClauseList	IntEncodedClause.IntEncodedClauseList.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<IntEncodedClause.IntEncodedClauseList> sa)

Methods in ai.krr.propositions that return types with arguments of type IntEncodedClause.IntEncodedClauseList

java.lang.Class<IntEncodedClause.IntEncodedClauseList>

IntEncodedClause.CnfIntEncodedClauseListAdaptor.getInternalClass() This function returns the Class that holds the internal representation this adaptor translates to and from.

Methods in ai.krr.propositions with parameters of type IntEncodedClause.IntEncodedClauseList

void	IntEncodedClause.CnfIntEncodedClauseListAdaptor.prettyPrint(int indent, IntEncodedClause.IntEncodedClauseList iecls, java.io.Writer w) This function takes an IntEncodedClauseList which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the CNF syntax.
void	IntEncodedClause.CnfIntEncodedClauseListAdaptor.write(IntEncodedClause.IntEncodedClauseList iecls, java.io.Writer w) This function takes an IntEncodedClauseList which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the CNF syntax.
static void	IntEncodedClause.CnfIntEncodedClauseListAdaptor.writeClauseList(IntEncodedClause.IntEncodedClauseList iecls, java.io.Writer w, java.util.Properties props) This function takes an IntEncodedClauseList which is a Java Object in the internal representation, and writes it to the given Writer as a string conforming to the CNF syntax.

Method parameters in ai.krr.propositions with type arguments of type IntEncodedClause.IntEncodedClauseList

static IntEncodedClause.IntEncodedClauseList

IntEncodedClause.IntEncodedClauseList.read(java.io.Reader r, inf.compilers.SyntaxAdaptor<IntEncodedClause.IntEncodedClauseList> sa)