Exemplo n.º 1
0
		public void Insert (int pos, QuantifiedExprBody body)
		{
			List.Insert (pos, body);
		}
Exemplo n.º 2
0
		public void Add (QuantifiedExprBody body)
		{
			List.Add (body);
		}