gapt.proofs.lk.LKRuleCreationException.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.lk
class LKRuleCreationException(name: String, message: String)
extends Exception(s"Cannot create $name: " + message)