solve
0.20.9
common
solve
/
it.unibo.tuprolog.solve.flags
/
FlagStore
Flag
Store
common
data
class
FlagStore
(
flags
:
Map
<
String
,
<ERROR CLASS>
>
)
:
Map
<
String
,
<ERROR CLASS>
>
Content copied to clipboard
A storage for flags and their values
Types
Constructors
Functions
Properties
Constructors
Flag
Store
Link copied to clipboard
common
fun
FlagStore
(
flags
:
Map
<
String
,
<ERROR CLASS>
>
)
Content copied to clipboard
Types
Companion
Link copied to clipboard
common
object
Companion
Content copied to clipboard
Functions
contains
Key
Link copied to clipboard
common
open
override
fun
containsKey
(
key
:
String
)
:
Boolean
Content copied to clipboard
contains
Value
Link copied to clipboard
common
open
override
fun
containsValue
(
value
:
<ERROR CLASS>
)
:
Boolean
Content copied to clipboard
get
Link copied to clipboard
common
operator
fun
get
(
notableFlag
:
NotableFlag
)
:
<ERROR CLASS>
?
Content copied to clipboard
open
operator override
fun
get
(
key
:
String
)
:
<ERROR CLASS>
?
Content copied to clipboard
is
Empty
Link copied to clipboard
common
open
override
fun
isEmpty
(
)
:
Boolean
Content copied to clipboard
minus
Link copied to clipboard
common
operator
fun
minus
(
flagName
:
String
)
:
FlagStore
Content copied to clipboard
operator
fun
minus
(
flagNames
:
Iterable
<
String
>
)
:
FlagStore
Content copied to clipboard
plus
Link copied to clipboard
common
operator
fun
plus
(
notableFlagValue
:
NotableFlag
)
:
FlagStore
Content copied to clipboard
operator
fun
plus
(
flagValue
:
Pair
<
String
,
<ERROR CLASS>
>
)
:
FlagStore
Content copied to clipboard
operator
fun
plus
(
flags
:
Map
<
String
,
<ERROR CLASS>
>
)
:
FlagStore
Content copied to clipboard
fun
plus
(
name
:
String
,
value
:
<ERROR CLASS>
)
:
FlagStore
Content copied to clipboard
set
Link copied to clipboard
common
fun
set
(
notableFlag
:
NotableFlag
)
:
FlagStore
Content copied to clipboard
fun
set
(
notableFlag
:
NotableFlag
,
value
:
<ERROR CLASS>
)
:
FlagStore
Content copied to clipboard
fun
set
(
name
:
String
,
value
:
<ERROR CLASS>
)
:
FlagStore
Content copied to clipboard
Properties
entries
Link copied to clipboard
common
open
override
val
entries
:
Set
<
Map.Entry
<
String
,
<ERROR CLASS>
>
>
Content copied to clipboard
keys
Link copied to clipboard
common
open
override
val
keys
:
Set
<
String
>
Content copied to clipboard
size
Link copied to clipboard
common
open
override
val
size
:
Int
Content copied to clipboard
values
Link copied to clipboard
common
open
override
val
values
:
Collection
<
<ERROR CLASS>
>
Content copied to clipboard