#!/glimmer/bin/python3
from zerolife import enum
from zerolife.predicate import DirectionalTestPredicate, QuantityPredicate
from zerolife.predicate import LogicPredicate

def testToString():
	board = None
	dsdirection = {enum.Direction.NW:"blue", enum.Direction.N:"green", enum.Direction.S:"no"}
	dsquantity = {"blue":2, "green":3}
	
	dtp1 = DirectionalTestPredicate.DirectionalTestPredicate(dsdirection)
	qp1 = QuantityPredicate.QuantityPredicate(dsquantity)
	
	print(dtp1)
	print(qp1)
	
	andPredicate = LogicPredicate.AndPredicate(dtp1, qp1)
	orPredicate = LogicPredicate.OrPredicate(dtp1, qp1)
	notPredicate = LogicPredicate.NotPredicate(orPredicate)
	
	print(andPredicate)
	print(orPredicate)
	print(notPredicate)
	
if __name__=='__main__':
	testToString()