ResetFlags

data class ResetFlags: SideEffect

Fields

Name Description
val flags: Map<String, Term>

Constructors

<init>

constructor(vararg flags: Pair<String, Term>)

Parameters

Name Description
vararg flags: Pair<String, Term>

<init>

constructor(flags: Iterable<Pair<String, Term>>)

Parameters

Name Description
flags: Iterable<Pair<String, Term>>

<init>

constructor(flags: Sequence><Pair<String, Term>>)

Parameters

Name Description
flags: Sequence><Pair<String, Term>>

<init>

constructor(flags: Map<String, Term>)

Parameters

Name Description
flags: Map<String, Term>