Example #1
0
		public void Insert (int pos, QuantifiedExprBody body)
		{
			List.Insert (pos, body);
		}
Example #2
0
		public void Add (QuantifiedExprBody body)
		{
			List.Add (body);
		}