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

G

getAnd() - Method in interface openpas.basics.PropFactory
Returns the "and" operator.
getAssumption(String, boolean) - Method in interface openpas.basics.PAS
Returns the named assumption if it exists in this PAS instance.
getAssumptions() - Method in interface openpas.basics.PAS
Returns the assumptions contained in this PAS instance.
getAssumptions(boolean) - Method in interface openpas.basics.PAS
Returns the assumptions contained in this PAS instance same as PAS.getAssumptions().
getAssumptions() - Method in interface openpas.basics.PropFactory
Returns all known assumptions created by this factory.
getCardName(int, int) - Static method in class examples.PokerHandsNaive
 
getCardName(int) - Static method in class examples.PokerHandsNaive
 
getConverter() - Method in interface openpas.basics.PropFactory
Returns an interface that's capable to performing some logical conversions such as converting a DNF -> CNF, or CNF -> DNF.
getDefaultStringer() - Method in interface openpas.basics.PropFactory
Returns the default stringer.
getDefaultSymboliser() - Method in interface openpas.basics.PropFactory
Returns the default symboliser.
getDrawnCardName(int, int, int) - Static method in class examples.PokerHandsNaive
 
getDrawnCardName(int, int) - Static method in class examples.PokerHandsNaive
 
getElements() - Method in interface openpas.basics.Expressions.SimpleSentence
Returns the series of expressions contained in this sentence.
getFactory() - Method in interface openpas.basics.PAS
Return the factory that this PAS instance was created with.
getFactory() - Static method in class openpas.OpenPAS
Returns the singleton factory instance.
getFalse() - Method in interface openpas.basics.PropFactory
Get the special literal for falsity.
getFalse() - Method in interface openpas.StringOps.LogicalSmyboliser
 
getFalseCNF() - Method in interface openpas.basics.PropFactory
Returns an unmodifiable CNF that's False.
getFalseDNF() - Method in interface openpas.basics.PropFactory
Returns an unmodifiable DNF that's False (empty).
getHornStringer() - Method in interface openpas.basics.PropFactory
Returns a stringer that's guaranteed to return horn clause representations of a clause or a CNF.
getImplication() - Method in interface openpas.StringOps.LogicalSmyboliser
 
getIndex() - Method in interface openpas.basics.Literal
Returns the index for this Literal.
getKB() - Method in interface openpas.basics.PAS
Returns the embedded knowledgebase (KB) for the PAS instance.
getLength() - Method in interface openpas.basics.Expressions.Expression
Returns the number of literals in this expression.
getLength() - Method in interface openpas.basics.Expressions.SimpleSentence
Returns the number of expressions in this sentence.
getLiterals() - Method in interface openpas.basics.Expressions.Expression
Returns a series of literals for this expression.
getLiteralSorter() - Method in interface openpas.basics.PropFactory
Returns a comparator that sorts the literals in their natural sorting order which is their unique index value.
getMaxSize() - Method in interface openpas.StringOps.LogicalStringer
 
getName() - Method in interface openpas.basics.Literal
Returns the given name for this literal.
getNeg() - Method in interface openpas.basics.Literal
Returns true if this is a negated Literal, false otherwise.
getNegation() - Method in interface openpas.basics.PropFactory
Returns the "negation" operator.
getNegation() - Method in interface openpas.StringOps.LogicalSmyboliser
 
getOp() - Method in interface openpas.basics.Expressions.Expression
Get the operator of this expression.
getOp() - Method in interface openpas.basics.Expressions.SimpleSentence
Returns the operator for this sentence.
getOp(Class<Op>) - Method in interface openpas.basics.PropFactory
Returns an operator that implements the required class.
getOr() - Method in interface openpas.basics.PropFactory
Returns the "or" operator.
getProbability() - Method in interface openpas.basics.Assumption
Returns the probability value associated with this assumption.
getProposition(String, boolean) - Method in interface openpas.basics.PAS
Returns the named proposition if it exists in this PAS instance.
getPropositions() - Method in interface openpas.basics.PAS
Returns the propositions contained in this PAS instance.
getPropositions(boolean) - Method in interface openpas.basics.PAS
Returns the propositions contained in this PAS instance same as PAS.getPropositions().
getPropositions() - Method in interface openpas.basics.PropFactory
Returns all known propositions created by this factory.
getSymbol(LogicalOps.LogicalOp) - Method in interface openpas.StringOps.LogicalSmyboliser
 
getTrue() - Method in interface openpas.basics.PropFactory
Get the special literal for tautology.
getTrue() - Method in interface openpas.StringOps.LogicalSmyboliser
 
getTrueCNF() - Method in interface openpas.basics.PropFactory
Returns an unmodifiable CNF that's True (empty).
getTrueDNF() - Method in interface openpas.basics.PropFactory
Returns an unmodifiable DNF that's True.
getType() - Method in interface openpas.basics.Literal
Returns the type of this literal (see the interface documentation Literal for more).
getValidName() - Method in interface openpas.basics.PropFactory
Returns a regular expression that is used to validate the names of all new assumptions and propositions.
A B C D E F G H I K L M N O P R S T U V W 
Skip navigation links