Adds a formula to the succedent of the sequent.
Adds a formula to the succedent of the sequent.
the formula to be added.
the sequent itself.
s += f
Removes a formula from the succedent of the sequent.
Removes a formula from the succedent of the sequent.
the formula to be removed.
the sequent itself.
s += f
Adds a formula to the antecedent of the sequent.
Adds a formula to the antecedent of the sequent.
the formula to be added.
the sequent itself.
s += f
Removes a formula from the antecedent of the sequent.
Removes a formula from the antecedent of the sequent.
the formula to be removed.
the sequent itself.
s += f
(setSequent: StringAdd).+(other)
(setSequent: StringAdd).self
(setSequent: StringFormat).self
(setSequent: ArrowAssoc[SetSequent]).x
(Since version 2.10.0) Use leftOfArrow
instead
(setSequent: Ensuring[SetSequent]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
A class for mutable sequents whose cedents are mutable sets.
0.2
0.2