|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PropositionVariables | |
com.meyling.principia.logic.basic |
Uses of PropositionVariables in com.meyling.principia.logic.basic |
Methods in com.meyling.principia.logic.basic with parameters of type PropositionVariables | |
boolean |
PropositionVariables.emptyIntersection(PropositionVariables variables)
Does this object have an empty intersection with another set of proposition variables? |
boolean |
PropositionVariables.contains(PropositionVariables variables)
Does this object contain another set of proposition variables? |
void |
PropositionVariables.addAll(PropositionVariables newOnes)
Add all these proposition variables. |
boolean |
PropositionVariables.equals(PropositionVariables variables)
Is this object equal to another one? |
Constructors in com.meyling.principia.logic.basic with parameters of type PropositionVariables | |
PropositionVariables(PropositionVariables already)
Construct a new set of proposition variables with the same entires as the given one. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |