public Database()
{
this.changed = false;
this.expressions = new ExpressionBase();
this.knowledge = new List<Transposition>();
this.transpositions = new List<Transposition>();
}
public Database(ExpressionBase expressions, List<Transposition> knowledge,
List<Transposition> transpositions)
{
this.changed = false;
this.knowledge = knowledge;
this.expressions = expressions;
this.transpositions = transpositions;
}