Did I find the right examples for you? yes no      Crawl my project      Python Jobs

common.Text

All Samples(4)  |  Call(0)  |  Derive(2)  |  Import(2)
Text, used for comments in proofs, also base class for formulas in tree logic

src/f/l/FLiP-1.2/flip/logic/tree.py   FLiP(Download)
 
import re
from common import Text
from formula import Formula, FormulaPlaceholder
 

class Path(Text):
  """
  Path, only formula class in tree logic, just a string of 0,1
  """
  def __init__(self, text):

src/f/l/FLiP-HEAD/flip/logic/tree.py   FLiP(Download)
 
import re
from common import Text
from formula import Formula, FormulaPlaceholder
 

class Path(Text):
  """
  Path, only formula class in tree logic, just a string of 0,1
  """
  def __init__(self, text):