|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object de.uni_tuebingen.sfb.lichtenstein.formulas.Variable de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator de.uni_tuebingen.sfb.lichtenstein.formulas.SecondOrderVariable
public class SecondOrderVariable
A class representing second order variables in the monadic second order logic.
Constructor Summary | |
---|---|
SecondOrderVariable()
Initialize a new second order variable. |
|
SecondOrderVariable(String name)
Initialize a new second order variable with the given name. |
Method Summary | |
---|---|
SecondOrderExistentialQuantification |
exists(Formula form)
Returns the existential quantification of the given formula over this variable. |
SecondOrderUniversalQuantification |
forAll(Formula form)
Returns the universal quantification of the given formula over this variable. |
Methods inherited from class de.uni_tuebingen.sfb.lichtenstein.formulas.SetDenotator |
---|
contains, logicalEquals, subset, superset |
Methods inherited from class de.uni_tuebingen.sfb.lichtenstein.formulas.Variable |
---|
getName, toString |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public SecondOrderVariable()
public SecondOrderVariable(String name)
name
- The name of the variable.| new.getName() == name
Method Detail |
---|
public SecondOrderUniversalQuantification forAll(Formula form)
form
- The formula to be quantified.| form != null
| !form.containsVariable(this) ||
form.isFreeVariable(this);
| result.getBoundVariable() == this && |
result.getArgument() == form
public SecondOrderExistentialQuantification exists(Formula form)
form
- The formula to be quantified.| form != null
| !form.containsVariable(this) ||
form.isFreeVariable(this);
| result.getBoundVariable() ==
this &&
| result.getArgument() == form
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |