at
.
logic
.
skeptik
.
experiment
.
compression
Experimenter
object
Experimenter
Linear Supertypes
AnyRef
,
Any
Ordering
Alphabetic
By inheritance
Inherited
Experimenter
AnyRef
Any
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
def
addTimeOutAlgorithm
(
name:
String
,
algo:
CompressorAlgorithm
[
SequentProofNode
]
)
:
Unit
val
algorithms
:
HashMap
[
String
,
WrappedAlgorithm
]
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
object
axiomCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
object
axiomSizeCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
object
countMeasure
extends
IntMeasure
[
Result
]
def
csvReport
(
algos:
Seq
[
WrappedAlgorithm
]
,
proofs:
Seq
[
String
]
,
iteration:
Int
)
:
Unit
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
experiment
(
algos:
Seq
[
WrappedAlgorithm
]
,
proofs:
Seq
[
String
]
)
:
Unit
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
()
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
getProofNodeFromFile
(
filename:
String
)
:
Result
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
val
initialMeasuresRecord
:
List
[(
Measure
[
Result
],
Double
)]
object
irregularNodeCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
object
literalsCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
val
measures
:
List
[
Measure
[
Result
]]
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
object
nodeCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
run
(
args:
Array
[
String
]
)
:
Unit
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
object
timeMeasure
extends
DoubleMeasure
[
Result
]
def
toString
()
:
String
Definition Classes
AnyRef → Any
object
variableCompressionRatioMeasure
extends
IntPercentMeasure
[
Result
]
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
()
Inherited from
AnyRef
Inherited from
Any
Ungrouped