log

age author description
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler implement Canonicalizable.Unary in the UnaryOpLogicNode hierarchy
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler non-adding factory methods in BitLogicNode
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler non-adding factory methods in LogicConstantNode
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler non-adding factory methods in ConstantNode
Wed, 25 Jun 2014 11:20:53 +0200 Lukas Stadler rename of x() to getX(), y() to getY() and object() to getValue()
Wed, 25 Jun 2014 11:20:50 +0200 Lukas Stadler handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner
Wed, 25 Jun 2014 10:58:42 +0200 Lukas Stadler new Unary and Binary canonicalizable interfaces