Gambit: Software Tools for Game Theory | ||
---|---|---|
<<< Previous | Next >>> |
IsDominated[strategy->STRATEGY, support->NFSUPPORT, {strong->False}, {mixed->False}, {precision->Rational}, {time<->0.000000}, {traceFile<->(Output)}, {traceLevel->0}] =: BOOLEAN IsDominated[profile->MIXED, {strong->False}, {mixed->False}, {time<->0.000000}, {traceFile<->(Output)}, {traceLevel->0}] =: BOOLEAN, IsDominated[action->ACTION, support->EFSUPPORT, {strong->False}, {conditional->False}, {time<->0.000000}, {traceFile<->(Output)}, {traceLevel->0}] =: BOOLEAN } |
IsDominated determines if the strategy or action is dominated in support, or if the profile is dominated in its support. The following optional parameters may be specified to modify the behavior of the elimination:
strong: By default, determines if the strategy or action is weakly dominated. By specifying True, strong dominance is used.
mixed: By default, only checks for domination by pure strategies or actions. If specified True, checks for domination by mixtures over other strategies. Note that mixed domination is only implemented for normal form games (i.e, for the first function prototype above).
conditional: If this is True, checks for conditional domination (only applicable to extensive form games (i. e., for the second function prototype above).
precision: Default precision is Rational. Note that the precision parameter is only applicable for mixed domination. Pure strategy domination always uses Rational precision.
<<< Previous | Home | Next >>> |
IsDefined | Up | IsEof |