PMII - Principia Mathematica II: Uses of Class com.meyling.principia.logic.basic.PropositionVariable

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

PMII - 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

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.