A B C D E F G H I K L M N O P Q R S T U V W X Z

M

main(String[]) - Static method in class ai.krr.propositions.RTPSolverIE

maxProp - Variable in class ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

minusTT - Static variable in class ai.krr.propositions.IntEncodedClause.CnfIntEncodedClauseListAdaptor

the token types used

multiplyS(List<List<Literal>>, ConnectedSentence) - Static method in class ai.krr.fol.ConnectedSentence

This function multiplies the given List of List of Literals with the given ConnectedSentence.

multiplyS(List<List<Literal>>, ConnectedSentence) - Static method in class ai.krr.propositions.ConnectedSentence

This function multiplies the given List of List of Literals with the given ConnectedSentence.