• Home
• at.logic.gapt
• gapt_3
• 2.17.0
• source code
• TacticsProof.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

gapt.proofs.gaptic.TacticsProof.scala Maven / Gradle / Ivy

package gapt.proofs.gaptic

import gapt.proofs.context.Context
import gapt.proofs.context.immutable.ImmutableContext
import gapt.proofs.context.mutable.MutableContext

class TacticsProof0(initialContext: ImmutableContext) {
  protected val mutableContext: MutableContext = initialContext.newMutable
  implicit def ctx: ImmutableContext = mutableContext.ctx
  protected def ctx_=(newContext: ImmutableContext) = { mutableContext.ctx = newContext }
}

class TacticsProof(initialContext: ImmutableContext = Context.default) extends TacticsProof0(initialContext) {
  protected implicit def mutableCtxImplicit: MutableContext = mutableContext

  def main(args: Array[String]): Unit = ()
}