Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

## Uses of Class
com.meyling.principia.logic.basic.PropositionVariable

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| Hilbert II - JAVA-Packages - Principia Mathematica II
PREV NEXT | FRAMES NO FRAMES

©left GNU General Public Licence All Rights Reserved.