Minimuino

extends Button

export var value: int = 0
export var step: int = 1
export var min_value: int = 0
export var max_value: int = 999
export var prefix: String
export var suffix: String

Minimuino

# -*- coding: utf-8 -*-

import gringo

UNSAFE_PROGRAM = {'name': 'base_unsafe',
                  'rule': 'p(X).'}

SAFE_PROGRAM = {'name': 'base_safe',
                'rule': 'p(x).'}