Concluder


@Date : Fri Nov 14 13:20:38 2014

@Author : Erwan Ledoux

The Notebooker takes piece of .md,.py,.tex files for putting them in a IPython Notebook


View the Concluder sources on Github

Example

Let's do a simple conclude call


In [2]:
#ImportModules
import ShareYourSystem as SYS
from ShareYourSystem.Standards.Objects import Concluder
import operator

#Definition of an instance Concluder and make it print hello
MyConcluder=Concluder.ConcluderClass().conclude(
	{'MyColorStr':'Black','MySuperInt':6},
	[
		('MyColorStr',operator.eq,"Black"),
		('MySuperInt',operator.gt,3),
		(1,operator.eq,1)
	]
)
		
#Definition the AttestedStr
SYS._attest(
	[
		'MyConcluder is '+SYS._str(
		MyConcluder,
		**{
			'RepresentingBaseKeyStrsListBool':False,
			'RepresentingAlineaIsBool':False
			}
		),
	]
) 

#Print



*****Start of the Attest *****

MyConcluder is < (ConcluderClass), 4336493456>
   /{ 
   /  '<New><Instance>IdStr' : 4336493456
   /  '<Spe><Instance>ConcludedConditionIsBoolsList' : 
   /   /[
   /   /  0 : True
   /   /  1 : True
   /   /  2 : True
   /   /]
   /  '<Spe><Instance>ConcludedIsBool' : True
   /  '<Spe><Instance>ConcludingConditionTuplesList' : 
   /   /[
   /   /  0 : 
   /   /   /(
   /   /   /  0 : MyColorStr
   /   /   /  1 : <built-in function eq>
   /   /   /  2 : Black
   /   /   /)
   /   /  1 : 
   /   /   /(
   /   /   /  0 : MySuperInt
   /   /   /  1 : <built-in function gt>
   /   /   /  2 : 3
   /   /   /)
   /   /  2 : 
   /   /   /(
   /   /   /  0 : 1
   /   /   /  1 : {...}< (builtin_function_or_method), 4322850792>
   /   /   /  2 : 1
   /   /   /)
   /   /]
   /  '<Spe><Instance>ConcludingTestVariable' : 
   /   /{ 
   /   /  'MyColorStr' : Black
   /   /  'MySuperInt' : 6
   /   /}
   /}

*****End of the Attest *****