Skip navigation links
A B C D E F G H I K L M N O P R S T U V W 

C

calcDQS(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.NumericResolver
Calculate the degree of quasi-support (dqs) for the given hypothesis.
calcDQS_I() - Method in interface openpas.basics.NumericResolver
Calculate the degree of quasi-support for inconsistency.
calcNonNormalisedDSP(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.NumericResolver
Calculate the unnormalised degree of support, such that:
$dqs_u(h, \xi) = dqs(h,\xi) - dqs(\bot, \xi)$
where $\xi$ is the knowledgebase, h is the hypothesis, and $\bot$ is falsity.
calcNormalisedDSP(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.NumericResolver
This calculates the degree of support for a given hypothesis.
cloneExpression() - Method in interface openpas.basics.Expressions.Expression
Returns a clone of this expression.
cloneLiteral() - Method in interface openpas.basics.Literal
Clones this literal.
cloneNegated() - Method in interface openpas.basics.Literal
Clones this literal but flips the negation flag such that a previously positive literal is negated, and a previously negated literal loses negation and becomes positive.
cloneSimpleSentence() - Method in interface openpas.basics.Expressions.SimpleSentence
Clones this sentence.
computeDNFProbability(Expressions.SimpleSentence<LogicalOps.LogicalOr, LogicalOps.LogicalAnd>) - Method in interface openpas.basics.ProbabilityComputer
Compute and return the probability of a DNF.
computeProbability() - Method in interface openpas.basics.Expressions.Expression
Returns the probability of this expression.
constructClause(String) - Method in interface openpas.basics.PAS
Constructs the specified clause using literals defined in the PAS instance, but doesn't add it to the PAS instance.
constructCNF(String) - Method in interface openpas.basics.PAS
Constructs the specified conjunctive normal form (CNF) propositional sentence using literals defined in the PAS instance.
constructDNF(String) - Method in interface openpas.basics.PAS
Constructs the specified disjunctive normal form (DNF) propositional sentence using literals defined in the PAS instance.
constructHornClause(String) - Method in interface openpas.basics.PAS
Constructs the specified horn clause but doesn't add it to the PAS instance, only returns it to the caller.
constructTerm(String) - Method in interface openpas.basics.PAS
Constructs the specified term using literals defined in the PAS instance, but doesn't modify the PAS instance in any way.
convert(LogicalOps.LogicalOp, LogicalOps.LogicalOp, Expressions.Expression<? extends LogicalOps.LogicalOp>) - Method in class openpas.basics.LogicalOps.DefaultConverter
Will convert an expression to a sentence: - term -> CNF - clause -> DNF - matching expression -> return same
convert(LogicalOps.LogicalOp, LogicalOps.LogicalOp, Expressions.SimpleSentence<? extends LogicalOps.LogicalOp, ? extends LogicalOps.LogicalOp>) - Method in class openpas.basics.LogicalOps.DefaultConverter
Will convert a DNF to CNF, or a CNF to DNF, and return the same sentence if the ops match.
convert(LogicalOps.LogicalOp, LogicalOps.LogicalOp, Expressions.Expression<? extends LogicalOps.LogicalOp>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
convert(LogicalOps.LogicalOp, LogicalOps.LogicalOp, Expressions.SimpleSentence<? extends LogicalOps.LogicalOp, ? extends LogicalOps.LogicalOp>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
convertClause(Expressions.Expression<LogicalOps.LogicalOr>) - Method in class openpas.basics.LogicalOps.DefaultConverter
 
convertClause(Expressions.Expression<LogicalOps.LogicalOr>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
convertCNF(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in class openpas.basics.LogicalOps.DefaultConverter
 
convertCNF(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
convertDNF(Expressions.SimpleSentence<LogicalOps.LogicalOr, LogicalOps.LogicalAnd>) - Method in class openpas.basics.LogicalOps.DefaultConverter
 
convertDNF(Expressions.SimpleSentence<LogicalOps.LogicalOr, LogicalOps.LogicalAnd>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
convertTerm(Expressions.Expression<LogicalOps.LogicalAnd>) - Method in class openpas.basics.LogicalOps.DefaultConverter
 
convertTerm(Expressions.Expression<LogicalOps.LogicalAnd>) - Method in interface openpas.basics.LogicalOps.LogicalConverter
 
create(String, boolean) - Method in class openpas.LBImpls_Expressions_Tester.AsmtCreator
 
create(String, boolean) - Method in interface openpas.LBImpls_Expressions_Tester.LiteralCreator
 
create(String, boolean) - Method in class openpas.LBImpls_Expressions_Tester.PropCreator
 
createAssumption(String, boolean, double) - Method in interface openpas.basics.PAS
Create an assumption with the given name, probability, and negation.
createAssumption(String, boolean, double) - Method in interface openpas.basics.PropFactory
Creates the named assumption.
createClause() - Method in interface openpas.basics.PropFactory
Creates an empty clause.
createClause(Iterable<Literal>) - Method in interface openpas.basics.PropFactory
Creates a new clause which contains the given literals.
createClause(boolean) - Method in interface openpas.basics.PropFactory
Creates an empty clause.
createClause(boolean, Iterable<Literal>) - Method in interface openpas.basics.PropFactory
Creates a new clause which contains the given literals.
createCNFSentence() - Method in interface openpas.basics.PropFactory
Create an empty CNF sentence.
createCNFSentence(Iterable<Expressions.Expression<LogicalOps.LogicalOr>>) - Method in interface openpas.basics.PropFactory
Creates a new CNF sentence containing the given expressions.
createCustomExpression(OpE) - Method in interface openpas.basics.PropFactory
A generic way to create an expression by specifying an operator.
createCustomExpression(OpE, Iterable<Literal>) - Method in interface openpas.basics.PropFactory
A generic way to create an expression by specifying an operator that contains the given literals.
createDNFSentence() - Method in interface openpas.basics.PropFactory
Creates an empty DNF sentence.
createDNFSentence(Iterable<Expressions.Expression<LogicalOps.LogicalAnd>>) - Method in interface openpas.basics.PropFactory
Creates an empty DNF sentences that contains the given expressions.
createHornStringer(StringOps.LogicalSmyboliser, Comparator<Literal>, int) - Static method in class openpas.StringOps
 
createImplicateResolver(PAS) - Static method in class openpas.OpenPAS
Create a symbolic resolver for the given PAS instance.
createLogicalSymboliser() - Static method in class openpas.StringOps
 
createNumericResolver(PAS, SymbolicResolver, ProbabilityComputer) - Static method in class openpas.OpenPAS
Create a numeric resolver for the given PAS instance.
createPAS() - Static method in class openpas.OpenPAS
Creates a new empty PAS instance.
createPAS(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Static method in class openpas.OpenPAS
Creates a new PAS instance using as knowledge base the cnf given.
createPAS(Iterable<Assumption>, Iterable<Proposition>) - Static method in class openpas.OpenPAS
Create a new PAS instance with an empty knowledgebase but having the given assumptions and propositions defined.
createProabilityComputerSPX() - Static method in class openpas.OpenPAS
Create a probability computer using Syvester-Poincare development (aka Inclusion-Exclusion principle).
createProbabilityComputerBDD(int) - Static method in class openpas.OpenPAS
Create a binary decision diagrams (BDD) based probability computer with a limit of numNodes.
createProbabilityComputerBDD(int, String) - Static method in class openpas.OpenPAS
Create a probability BDD based probability computer that will write its BDD to the specified dotFilePath.
createProposition(String, boolean) - Method in interface openpas.basics.PAS
Create a proposition with the given name and negation.
createProposition(String, boolean) - Method in interface openpas.basics.PropFactory
Creates the named proposition.
createSentece(OpS, OpE) - Method in interface openpas.basics.PropFactory
Creates an empty sentence using the given operators.
createSentenceLike(Expressions.SimpleSentence<OpS, OpE>) - Method in interface openpas.basics.PropFactory
Returns an empty sentence that's "similar" to the prototype given.
createStringer(StringOps.LogicalSmyboliser, Comparator<Literal>, int) - Static method in class openpas.StringOps
 
createTerm() - Method in interface openpas.basics.PropFactory
Creates an empty term.
createTerm(Iterable<Literal>) - Method in interface openpas.basics.PropFactory
Creates a new term containing the given literals.
A B C D E F G H I K L M N O P R S T U V W 
Skip navigation links