ConstantsForLove.lua

-------------------------------------------------------------------------------
--   Constants Module
--
--   Contains all the constants used by the graphic module.
--
--   @authors: Vitor, Jefferson, Bernardo
--
-------------------------------------------------------------------------------

-- Positioning definitions
windowWidth = 1024
windowHeight = 640
xLim = 30
yLim = 30
xStep = 40
yStep = 40
xBegin = windowWidth / 2
yBegin = 60

-- Pan screen
xInitial = 0
yInitial = 0

-- Tamanho vertice e arestas
circleSeparation = 20
raioDoVertice = 5
escalaLetraVertice = .85 -- <1 para diminuir e >=1 para aumentar
escalaLetraAresta = .75

-- Botões do mouse (de Löve 0.9 para 0.10 houve alterações)
leftMouseButton = 1
rightMouseButton = 2
middleMouseButton = 3

-- String para mensagem de erro
xDebug = 10
yDebug = 10
countDebugMsgs = 1
MsgDebugTable = {}
MsgDebugTable[1] = "Prover debug messages:-----------------------------------"

-- Button names
expandAllButtonName = "Expand All"
inputFormulaButtonName = "Input Formula"
expandFormulaButtonName = "Expand Formula"
printProofButtonName = "Print Proof"
printGraphButtonName = "Print Graph"
buttonTime = 0.15

-- Editing States
InputingFormula = "InputingFormula"
InputingCommand = "InputingCommand"
NoInputing = ""

-- Logic System to Load
systemND = "NaturalDeduction"
systemSeqCalc = "SequentCalculus"
logicSystem = systemSeqCalc