And
labeled alternative in ModalWffParser.wff()
.And
labeled alternative in ModalWffParser.wff()
.And
labeled alternative in FormulaParser.wff()
.And
labeled alternative in FormulaParser.wff()
.Box
labeled alternative in ModalWffParser.wff()
.Box
labeled alternative in ModalWffParser.wff()
.Dia
labeled alternative in ModalWffParser.wff()
.Dia
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in FormulaParser.wff()
.Eq
labeled alternative in FormulaParser.wff()
.FormulaParser.formula()
.FormulaParser.formula()
.Imp
labeled alternative in ModalWffParser.wff()
.Imp
labeled alternative in ModalWffParser.wff()
.Imp
labeled alternative in FormulaParser.wff()
.Imp
labeled alternative in FormulaParser.wff()
.ModalWffParser.modalFormula()
.ModalWffParser.modalFormula()
.Neg
labeled alternative in ModalWffParser.wff()
.Neg
labeled alternative in ModalWffParser.wff()
.Neg
labeled alternative in FormulaParser.wff()
.Neg
labeled alternative in FormulaParser.wff()
.Or
labeled alternative in ModalWffParser.wff()
.Or
labeled alternative in ModalWffParser.wff()
.Or
labeled alternative in FormulaParser.wff()
.Or
labeled alternative in FormulaParser.wff()
.Par
labeled alternative in ModalWffParser.wff()
.Par
labeled alternative in ModalWffParser.wff()
.Par
labeled alternative in FormulaParser.wff()
.Par
labeled alternative in FormulaParser.wff()
.Prop
labeled alternative in ModalWffParser.wff()
.Prop
labeled alternative in ModalWffParser.wff()
.Prop
labeled alternative in FormulaParser.wff()
.Prop
labeled alternative in FormulaParser.wff()
.true
iff this formula proposition and the one
referenced by prop
have the same name.And
labeled alternative in ModalWffParser.wff()
.And
labeled alternative in ModalWffParser.wff()
.And
labeled alternative in FormulaParser.wff()
.And
labeled alternative in FormulaParser.wff()
.Box
labeled alternative in ModalWffParser.wff()
.Box
labeled alternative in ModalWffParser.wff()
.Dia
labeled alternative in ModalWffParser.wff()
.Dia
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in ModalWffParser.wff()
.Eq
labeled alternative in FormulaParser.wff()
.Eq
labeled alternative in FormulaParser.wff()
.FormulaParser.formula()
.FormulaParser.formula()
.Imp
labeled alternative in ModalWffParser.wff()
.Imp
labeled alternative in ModalWffParser.wff()
.Imp
labeled alternative in FormulaParser.wff()
.Imp
labeled alternative in FormulaParser.wff()
.ModalWffParser.modalFormula()
.ModalWffParser.modalFormula()
.Neg
labeled alternative in ModalWffParser.wff()
.Neg
labeled alternative in ModalWffParser.wff()
.Neg
labeled alternative in FormulaParser.wff()
.Neg
labeled alternative in FormulaParser.wff()
.Or
labeled alternative in ModalWffParser.wff()
.Or
labeled alternative in ModalWffParser.wff()
.Or
labeled alternative in FormulaParser.wff()
.Or
labeled alternative in FormulaParser.wff()
.Par
labeled alternative in ModalWffParser.wff()
.Par
labeled alternative in ModalWffParser.wff()
.Par
labeled alternative in FormulaParser.wff()
.Par
labeled alternative in FormulaParser.wff()
.Prop
labeled alternative in ModalWffParser.wff()
.Prop
labeled alternative in ModalWffParser.wff()
.Prop
labeled alternative in FormulaParser.wff()
.Prop
labeled alternative in FormulaParser.wff()
.