at
.
logic
.
gapt
.
provers
.
atp
.
commands
.
sequents
ApplyOnAllPolarizedLiteralPairsCommand
Related Doc:
package sequents
case class
ApplyOnAllPolarizedLiteralPairsCommand
[
V <:
OccSequent
]
()
extends
DataCommand
[
V
] with
Logger
with
Product
with
Serializable
Linear Supertypes
Serializable
,
Serializable
,
Product
,
Equals
,
Logger
,
DataCommand
[
V
], (
State
,
Any
) ⇒
Iterable
[(
State
,
Any
)],
Command
[
V
],
AnyRef
,
Any
Type Hierarchy
Learn more about scaladoc diagrams
CollectionsHaveToParArray[ApplyOnAllPolarizedLiteralPairsCommand[V], T]
ApplyOnAllPolarizedLiteralPairsCommand[V]
implicitly
DataCommand[V]
Logger
Product
Serializable
Ordering
Alphabetic
By inheritance
Inherited
ApplyOnAllPolarizedLiteralPairsCommand
Serializable
Serializable
Product
Equals
Logger
DataCommand
Function2
Command
AnyRef
Any
Implicitly
by CollectionsHaveToParArray
by any2stringadd
by StringFormat
by Ensuring
by ArrowAssoc
Hide All
Show all
Visibility
Public
All
Instance Constructors
new
ApplyOnAllPolarizedLiteralPairsCommand
()
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
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
any2stringadd
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method any2stringadd in scala.Predef.
Definition Classes
any2stringadd
def
->
[
B
]
(
y:
B
)
: (
ApplyOnAllPolarizedLiteralPairsCommand
[
V
],
B
)
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
ArrowAssoc
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline
()
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
apply
(
state:
State
,
data:
Any
)
:
Iterable
[(
State
,
Any
)]
Definition Classes
ApplyOnAllPolarizedLiteralPairsCommand
→ Function2
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
curried
: (
State
) ⇒ (
Any
) ⇒
Iterable
[(
State
,
Any
)]
Definition Classes
Function2
Annotations
@unspecialized
()
def
debug
(
msg: ⇒
String
)
:
Unit
Attributes
protected
Definition Classes
Logger
def
ensuring
(
cond: (
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]) ⇒
Boolean
,
msg: ⇒
Any
)
:
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
Ensuring
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond: (
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]) ⇒
Boolean
)
:
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
Ensuring
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
,
msg: ⇒
Any
)
:
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
Ensuring
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
)
:
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
Ensuring
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
error
(
msg: ⇒
String
,
e:
Throwable
)
:
Nothing
Attributes
protected
Definition Classes
Logger
def
error
(
msg: ⇒
String
)
:
Unit
Attributes
protected
Definition Classes
Logger
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
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
StringFormat
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline
()
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
info
(
msg: ⇒
String
)
:
Unit
Attributes
protected
Definition Classes
Logger
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
isSubsequentOf
(
c:
Command
[
V
]
)
:
Boolean
Definition Classes
Command
val
log
:
Logger
Attributes
protected
Definition Classes
Logger
def
loggerName
:
String
Attributes
protected
Definition Classes
Logger
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
toParArray
:
ParArray
[
T
]
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
CollectionsHaveToParArray
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
],
T
] performed by method CollectionsHaveToParArray in scala.collection.parallel. This conversion will take place only if an implicit value of type (
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]) ⇒
GenTraversableOnce
[
T
] is in scope.
Definition Classes
CollectionsHaveToParArray
def
toString
()
:
String
Definition Classes
Function2 → AnyRef → Any
def
trace
(
msg: ⇒
String
)
:
Unit
Attributes
protected
Definition Classes
Logger
def
tupled
: ((
State
,
Any
)) ⇒
Iterable
[(
State
,
Any
)]
Definition Classes
Function2
Annotations
@unspecialized
()
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
Definition Classes
Logger
def
warn
(
msg: ⇒
String
)
:
Unit
Attributes
protected
Definition Classes
Logger
def
→
[
B
]
(
y:
B
)
: (
ApplyOnAllPolarizedLiteralPairsCommand
[
V
],
B
)
Implicit information
This member is added by an implicit conversion from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
ArrowAssoc
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Inherited from
Serializable
Inherited from
Serializable
Inherited from
Product
Inherited from
Equals
Inherited from
Logger
Inherited from
DataCommand
[
V
]
Inherited from (
State
,
Any
) ⇒
Iterable
[(
State
,
Any
)]
Inherited from
Command
[
V
]
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion CollectionsHaveToParArray from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
CollectionsHaveToParArray
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
],
T
]
Inherited by implicit conversion any2stringadd from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
any2stringadd
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]]
Inherited by implicit conversion StringFormat from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
StringFormat
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]]
Inherited by implicit conversion Ensuring from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
Ensuring
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]]
Inherited by implicit conversion ArrowAssoc from
ApplyOnAllPolarizedLiteralPairsCommand
[
V
] to
ArrowAssoc
[
ApplyOnAllPolarizedLiteralPairsCommand
[
V
]]
Ungrouped