Struct LlGame 

pub struct LlGame {
    pub formula: String,
    pub player: String,
    pub opponent: String,
    pub winning_condition: String,
}

Game semantics: a game G = (moves, positions, plays).

Fields

formula: String

player: String

opponent: String

winning_condition: String

Implementations

impl LlGame

pub fn new(formula: &str) -> Self

pub fn tensor_game(g1: &str, g2: &str) -> Self

pub fn abramsky_jagadeesan_description(&self) -> String

Trait Implementations

impl Clone for LlGame

fn clone(&self) -> LlGame

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LlGame

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.