Uses of Interface
com.meyling.principia.logic.basic.SubjectVariableMarker

Packages that use SubjectVariableMarker

com.meyling.principia.logic.basic

Uses of SubjectVariableMarker in com.meyling.principia.logic.basic

Classes in com.meyling.principia.logic.basic that implement SubjectVariableMarker

class	BasicPredicateVariablePatternVariable Pattern variable, for matching purposes.
class	BasicSubjectVariablePatternVariable Pattern variable, for matching purposes.
class	SubjectVariable Subject variable, represents a subject of the universe of discourse.

Fields in com.meyling.principia.logic.basic declared as SubjectVariableMarker

private SubjectVariableMarker	Quantifier.variable subject variable of this quantifier
private SubjectVariableMarker[]	PredicateVariable.variables arguments of predicate

Methods in com.meyling.principia.logic.basic that return SubjectVariableMarker

SubjectVariableMarker	Quantifier.getVariable() Get the subject variable of this quantifier.
SubjectVariableMarker[]	PredicateVariable.getArgument() Get the argument.

Methods in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker

void	SubjectVariables.add(SubjectVariableMarker variable) Add a subject variable to the set.
boolean	SubjectVariables.contains(SubjectVariableMarker variable) Check if a certain subject variable is already in the set.
void	SubjectVariables.remove(SubjectVariableMarker variable) Remove a subject variable or a pattern variable from the set.

Constructors in com.meyling.principia.logic.basic with parameters of type SubjectVariableMarker

SubjectVariables(SubjectVariableMarker[] already)
Construct a new set of subject variables with some initial entries.