LuaCatan

• Index

Contents

• Functions

Modules

• catan.gui
• catan.logic.constants
• catan.logic.grid
• util.class
• util.logic
• util.platform
• util.safe
• util.schema
• util.table
• main

Classes

• catan.gui.Box
• catan.gui.Layer
• catan.gui.Sprite
• catan.logic.EdgeMap
• catan.logic.FaceMap
• catan.logic.Game
• catan.logic.HexProduction
• catan.logic.VertexMap

Topics

• README
• TUTORIAL
• ABOUT

Module util.logic

Propositional logic operations.

Functions

LogicUtils:tobool (x)	Get truth value of x.
LogicUtils:implies (a, b)	Material implication a -> b
LogicUtils:iff (a, b)	Logical equivalence a <-> b

Functions

LogicUtils:tobool (x)

Get truth value of x.

Parameters:

• x

Returns:

boolean truth value of x

LogicUtils:implies (a, b)

Material implication a -> b

Parameters:

• a boolean
• b boolean

Returns:

boolean a -> b

LogicUtils:iff (a, b)

Logical equivalence a <-> b

Parameters:

• a boolean
• b boolean

Returns:

boolean a <-> b