at
.
logic
.
gapt
.
examples
.
poset
poset_example
Related Doc:
package poset
object
poset_example
extends
Script
Source
poset-example.scala
Linear Supertypes
Script
,
App
,
DelayedInit
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
poset_example
Script
App
DelayedInit
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
a
:
FOLConst
def
args
:
Array
[
String
]
Attributes
protected
Definition Classes
App
Annotations
@deprecatedOverriding
(
"args should not be overridden"
,
"2.11.0"
)
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
val
b
:
FOLConst
val
c
:
FOLConst
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
conc
:
HOLFormula
val
cutf
:
HOLFormula
val
encoding
:
InstanceTermEncoding
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
val
eqFCongr
:
HOLFormula
val
eqRefl
:
HOLFormula
val
eqSymm
:
HOLFormula
val
eqTran
:
HOLFormula
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
val
executionStart
:
Long
Definition Classes
App
val
f
:
FOLFunctionConst
val
fAntiSym
:
HOLFormula
val
fAssoc
:
HOLFormula
val
fComm
:
HOLFormula
val
fTrans
:
HOLFormula
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
lhs
:
LKProof
def
main
(
args:
Array
[
String
]
)
:
Unit
Definition Classes
App
Annotations
@deprecatedOverriding
(
"main should not be overridden"
,
"2.11.0"
)
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
val
p
:
LKProof
val
pAntiSym
:
LKProof
val
pTrans
:
LKProof
val
pwc
:
CutRule
val
rhs
:
LKProof
def
run
()
:
Unit
Definition Classes
Script
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
val
terms
:
Set
[
FOLTerm
]
def
toString
()
:
String
Definition Classes
AnyRef → Any
val
u
:
FOLVar
val
v
:
FOLVar
val
w
:
FOLVar
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
val
x
:
FOLVar
val
y
:
FOLVar
val
z
:
FOLVar
Deprecated Value Members
def
delayedInit
(
body: ⇒
Unit
)
:
Unit
Definition Classes
App → DelayedInit
Annotations
@deprecated
Deprecated
(Since version 2.11.0)
The delayedInit mechanism will disappear.
Inherited from
Script
Inherited from
App
Inherited from
DelayedInit
Inherited from
AnyRef
Inherited from
Any
Ungrouped