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

gapt.examples.nd

package gapt.examples.nd

Members list

Type members

Classlikes

object AndLeftWithEmptySuccedent extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object OrLeftWithEmptySuccedent extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object classicalPairing extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object contractRightWithWrongFocus extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object cut1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
cut1.type
object cut2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
cut2.type
object definitionLeftRule extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object definitionRightRule extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object definitionRightRule2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object demorgan1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
demorgan1.type
object demorgan2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
demorgan2.type
object dne extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
dne.type
object equalityLeft extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object equalityLeftEmptySuc extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object equalityRight extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object ex0_1_6 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
ex0_1_6.type
object ex0_1_6_short extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object example1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
example1.type
object impLeft1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
impLeft1.type
object impLeft2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
impLeft2.type
object impRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
impRight1.type
object impRight2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
impRight2.type
object induction extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
induction.type
object inductionRule extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object issue687 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
issue687.type
object issue688 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
issue688.type
object lem extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
lem.type
object negLeft extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
negLeft.type
object negLeftFollowedByNegRight extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object negLeftRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object negRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
negRight1.type
object orLeft1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orLeft1.type
object orLeft2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orLeft2.type
object orLeft3 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orLeft3.type
object orLeft4 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orLeft4.type
object orLeft5 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orLeft5.type
object orRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orRight1.type
object orRight2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
orRight2.type
object proofLink extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
proofLink.type
object proofLink2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
proofLink2.type
object proofLink3 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
proofLink3.type
object weakenContractRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object weakeningRight extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object weakeningRight1 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object weakeningRight2 extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
object weakeningRightWithWrongFocus extends Script

Attributes

Supertypes
class Script
trait App
trait DelayedInit
class Object
trait Matchable
class Any
Show all
Self type
Generated with