ResetFlags

data class ResetFlags: AlterFlagsByEntries

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>

Methods

applyTo

fun applyTo(context: ExecutionContext): ExecutionContext

Parameters

Name Description
context: ExecutionContext

ReturnValue

Name Description
ExecutionContext