public Sym12TernaryTableUpdater(string relvarName, Sym12TernaryTable table, ValueStoreUpdater store12, ValueStoreUpdater store3)
{
this.relvarName = relvarName;
this.table = table;
this.store12 = store12;
this.store3 = store3;
}
//////////////////////////////////////////////////////////////////////////////
public BinaryTableUpdater(string relvarName, BinaryTable table, ValueStoreUpdater store1, ValueStoreUpdater store2)
{
this.relvarName = relvarName;
this.table = table;
this.store1 = store1;
this.store2 = store2;
}
public TernaryTableUpdater(string relvarName, TernaryTable table, ValueStoreUpdater store1, ValueStoreUpdater store2, ValueStoreUpdater store3)
{
this.relvarName = relvarName;
this.table = table;
this.store1 = store1;
this.store2 = store2;
this.store3 = store3;
}
//////////////////////////////////////////////////////////////////////////////
public IntColumnUpdater(string relvarName, IntColumn column, ValueStoreUpdater store)
{
this.relvarName = relvarName;
this.column = column;
this.store = store;
}
public UnaryTableUpdater(string relvarName, UnaryTable table, ValueStoreUpdater store)
{
this.relvarName = relvarName;
this.table = table;
this.store = store;
}
