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

F

findQS(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.SymbolicResolver
Finds the quasi-support (QS) for a given CNF hypothesis.
findQS(Expressions.Expression<LogicalOps.LogicalOr>) - Method in interface openpas.basics.SymbolicResolver
Similar to #findQS(SimpleSentence) but works on a clause instead of a CNF.
findQS(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in class openpas.ImplicateResolver
HKL2000 only defines a quasi-support discovery method for a hypothesis that's a clause but that is enough (HKL2000, p28).
findQS(Expressions.Expression<LogicalOps.LogicalOr>) - Method in class openpas.ImplicateResolver
QS(h, \xi)= \{ \alpha \in \mathcal{C}_A: \alpha \wedge \xi \models h \} where \alpha is a term, \xi and h are propositional sentences representing the knowledge base and the hypothesis respectively.
findSP(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in interface openpas.basics.SymbolicResolver
Finds the support for a given CNF hypothesis.
findSP(Expressions.SimpleSentence<LogicalOps.LogicalAnd, LogicalOps.LogicalOr>) - Method in class openpas.ImplicateResolver
 
first - Variable in class openpas.utils.PairT
 
floatValue() - Method in class openpas.utils.MutableDouble
 
A B C D E F G H I K L M N O P R S T U V W 
Skip navigation links