|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PropositionVariable | |
com.meyling.principia.logic.basic |
Uses of PropositionVariable in com.meyling.principia.logic.basic |
Methods in com.meyling.principia.logic.basic with parameters of type PropositionVariable | |
void |
PropositionVariables.add(PropositionVariable variable)
Add a proposition variable to the set. |
boolean |
PropositionVariables.contains(PropositionVariable variable)
Check if a certain proposition variable is already in the set. |
void |
PropositionVariables.remove(PropositionVariable variable)
Remove a proposition variable or a pattern variable from the set. |
Constructors in com.meyling.principia.logic.basic with parameters of type PropositionVariable | |
PropositionVariables(PropositionVariable[] already)
Construct a new set of proposition variables with some initial entries. |
|
Hilbert II - JAVA-Packages - Principia Mathematica II | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
©left GNU General Public Licence All Rights Reserved. |