Python Closure.computeClosure Examples

Example #1

File: generateRules.py Project: tarsqi/ttk

 def close(self,closureType,debug=0):
     closedEnv = self.copy()
     CLOS = Closure(closedEnv,closureType)
     if debug: CLOS.debugOn()
     CLOS.computeClosure()
     closedEnv.isConsistent = CLOS.isConsistent
     return closedEnv

Example #2

 def close(self,closureType,debug=0):
     closedEnv = self.copy()
     CLOS = Closure(closedEnv,closureType)
     if debug: CLOS.debugOn()
     CLOS.computeClosure()
     closedEnv.isConsistent = CLOS.isConsistent
     return closedEnv

Example #3

File: generateRules.py Project: tarsqi/ttk

def test1():
    """Just three nodes and two links, should derive one new link, uncomment 
    link3 and an inconsistency should be created."""
    ENV = Environment()
    AXIOMS.add(Axiom("before","before","before"))
    AXIOMS.add(Axiom("before","includes","before"))
    node1 = EventNode(ENV,'crashed','OCCURRENCE')
    node2 = EventNode(ENV,'flying','STATE')
    node3 = EventNode(ENV,'saw','PERCEPTION')
    node4 = EventNode(ENV,'heard','PERCEPTION')
    link1 = Link(ENV,node1,'before',node2)
    link2 = Link(ENV,node2,'includes',node3)
    link3 = Link(ENV,node1,'after',node3)
    clos = Closure(ENV,"nodes")
    clos.computeClosure()
    print ENV

Example #4

def test1():
    """Just three nodes and two links, should derive one new link, uncomment 
    link3 and an inconsistency should be created."""
    ENV = Environment()
    AXIOMS.add(Axiom("before","before","before"))
    AXIOMS.add(Axiom("before","includes","before"))
    node1 = EventNode(ENV,'crashed','OCCURRENCE')
    node2 = EventNode(ENV,'flying','STATE')
    node3 = EventNode(ENV,'saw','PERCEPTION')
    node4 = EventNode(ENV,'heard','PERCEPTION')
    link1 = Link(ENV,node1,'before',node2)
    link2 = Link(ENV,node2,'includes',node3)
    link3 = Link(ENV,node1,'after',node3)
    clos = Closure(ENV,"nodes")
    clos.computeClosure()
    print(ENV)