at
.
logic
.
gapt
.
utils
.
logging
Logger
Related Doc:
package logging
trait
Logger
extends
AnyRef
Linear Supertypes
AnyRef
,
Any
Known Subclasses
ApplyOnAllPolarizedLiteralPairsCommand
,
CedentPanel
,
ClauseFactorCommand
,
ContractionLeftMacroRule
,
ContractionMacroRule
,
ContractionRightMacroRule
,
CutIntroduction
,
DefinitionElimination
,
DefinitionElimination
,
DrawExpSeqLogger
,
DrawExpansionSequent
,
DrawExpansionTree
,
EquationLeft1Rule
,
EquationLeft2Rule
,
EquationLeftMacroRule
,
EquationLeftRule
,
EquationRight1Rule
,
EquationRight2Rule
,
EquationRightMacroRule
,
EquationRightRule
,
EquationRuleLogger
,
ExpansionTreeProofStrategy
,
FactorCommand
,
FindFormulaH
,
HybridLatexParser
,
HybridLatexParser
,
IvyParser
,
LKToExpansionProof
,
LKToExpansionProof
,
LKToLKsk
,
LKskToExpansionProof
,
LKskToExpansionProof
,
MacroRuleLogger
,
MaxSATSolver
,
MaxSATSolverBinary
,
MaxSat4j
,
MiFuMaX
,
MiniMaxSAT
,
MiniSAT
,
MiniSATProver
,
MinimizeSolution
,
MyProver
,
OpenWBO
,
Paramodulation
,
ParamodulationCommand
,
PrintStateCommand
,
Projections
,
PropositionalProofStrategy
,
Prover
,
Prover9InitCommand
,
QMaxSAT
,
RefutationReachedCommand
,
RefutationSketchToRobinson
,
RenameResproof
,
ReplayCommand
,
ResolveCommand
,
RobinsonToLK
,
Sat4j
,
Sat4jProver
,
SearchDerivation
,
SetClauseWithProofCommand
,
SetTargetClause
,
SimpleBackwardSubsumptionCommand
,
SimpleForwardSubsumptionCommand
,
SimpleRefinementGetCommand
,
SipProver
,
StandardClauseSet
,
Stopwatch
,
StructCreators
,
TPTPFOLExporter
,
TermReplacement
,
TokenToLKConverter
,
ToySAT
,
ToySolver
,
TreeListPanel
,
Vampire
,
VariantsCommand
,
WeakeningContractionMacroRule
,
WeakeningLeftMacroRule
,
WeakeningMacroRule
,
WeakeningRightMacroRule
,
applySubstitution
,
bestAvailableMaxSatSolver
,
findConseq
,
fixDerivation
,
merge
,
readSat4j
,
skolemize
,
solve
,
substitute
,
undoHol2Fol
,
withTimeout
Type Hierarchy
Learn more about scaladoc diagrams
Logger
56 classes/traits
AnyRef
Ordering
Alphabetic
By inheritance
Inherited
Logger
AnyRef
Any
Implicitly
by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc
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
def
+
(
other:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
Logger
to
any2stringadd
[
Logger
] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def
->
[
B
]
(
y:
B
)
: (
Logger
,
B
)
Implicit information
This member is added by an implicit conversion from
Logger
to
ArrowAssoc
[
Logger
] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline
()
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
debug
(
msg: ⇒
String
)
:
Unit
Attributes
protected
def
ensuring
(
cond: (
Logger
) ⇒
Boolean
,
msg: ⇒
Any
)
:
Logger
Implicit information
This member is added by an implicit conversion from
Logger
to
Ensuring
[
Logger
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond: (
Logger
) ⇒
Boolean
)
:
Logger
Implicit information
This member is added by an implicit conversion from
Logger
to
Ensuring
[
Logger
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
,
msg: ⇒
Any
)
:
Logger
Implicit information
This member is added by an implicit conversion from
Logger
to
Ensuring
[
Logger
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
)
:
Logger
Implicit information
This member is added by an implicit conversion from
Logger
to
Ensuring
[
Logger
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
error
(
msg: ⇒
String
,
e:
Throwable
)
:
Nothing
Attributes
protected
def
error
(
msg: ⇒
String
)
:
Unit
Attributes
protected
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
formatted
(
fmtstr:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
Logger
to
StringFormat
[
Logger
] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline
()
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
def
info
(
msg: ⇒
String
)
:
Unit
Attributes
protected
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
val
log
:
org.slf4j.Logger
Attributes
protected
def
loggerName
:
String
Attributes
protected
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
trace
(
msg: ⇒
String
)
:
Unit
Attributes
protected
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
(
...
)
def
warn
(
msg: ⇒
String
,
e:
Throwable
)
:
Unit
Attributes
protected
def
warn
(
msg: ⇒
String
)
:
Unit
Attributes
protected
def
→
[
B
]
(
y:
B
)
: (
Logger
,
B
)
Implicit information
This member is added by an implicit conversion from
Logger
to
ArrowAssoc
[
Logger
] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion any2stringadd from
Logger
to
any2stringadd
[
Logger
]
Inherited by implicit conversion StringFormat from
Logger
to
StringFormat
[
Logger
]
Inherited by implicit conversion Ensuring from
Logger
to
Ensuring
[
Logger
]
Inherited by implicit conversion ArrowAssoc from
Logger
to
ArrowAssoc
[
Logger
]
Ungrouped