gapt.proofs.context.mutable.WriteOnlyMutableContext.scala Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation
Show all versions of gapt_3 Show documentation
General Architecture for Proof Theory
The newest version!
package gapt.proofs.context.mutable
import gapt.expr.Const
import gapt.expr.Expr
import gapt.proofs.context.immutable.ImmutableContext
trait WriteOnlyMutableContext {
def ctx_=(newContext: ImmutableContext): Unit
def addDefinition(by: Expr, name: => String, reuse: Boolean): Const
def addSkolemSym(defn: Expr, name: => String, reuse: Boolean): Const
}