Uses of Class com.meyling.principia.logic.basic.PropositionVariables (PMII - Principia Mathematica II)

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.PropositionVariables

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.

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.