gapt-examples
API
Generated with
gapt-examples/gapt.examples/CERESExpansionExampleProof

CERESExpansionExampleProof

gapt.examples.CERESExpansionExampleProof
object CERESExpansionExampleProof

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def P(x: FOLTerm): FOLTerm
def ax1: FOLAtom
def f(x: FOLTerm): FOLTerm
def g(x: FOLTerm): FOLTerm
def seq: Sequent[FOLAtom]

Concrete fields

val c: FOLConst
val proof: CutRule
val x: FOLVar
val y: FOLVar
val z: FOLVar
Generated with