Table of Contents - goedel-0.2.1 Documentation
Classes and Modules
Methods
- ::goedel — Goedel
- ::new — Goedel::Line
- ::new — Goedel::Statement
- #attr_line — Goedel::Statement
- #class_name — Goedel::Statement
- #classify — Goedel::Line
- #generate — Goedel::Line
- #generate — Goedel::Statement
- #instance_name — Goedel::Statement
- #model_attributes — Goedel::Statement
- #model_instantiate — Goedel::Statement