package at.ac.tuwien.kr.alpha.grounder;

/**
 * This class represents atom identifiers, i.e., it wraps an integer.
 * Copyright (c) 2016, the Alpha Team.
 */
public class AtomId {
	public final int atomId;

	public AtomId(int atomId) {
		this.atomId = atomId;
	}
}

@@ -1,8 +1,1436 @@
+/**%0A * Copyright (c) 2016-2017, the Alpha Team.%0A * All rights reserved.%0A * %0A * Additional changes made by Siemens.%0A * %0A * Redistribution and use in source and binary forms, with or without%0A * modification, are permitted provided that the following conditions are met:%0A * %0A * 1) Redistributions of source code must retain the above copyright notice, this%0A *    list of conditions and the following disclaimer.%0A * %0A * 2) Redistributions in binary form must reproduce the above copyright notice,%0A *    this list of conditions and the following disclaimer in the documentation%0A *    and/or other materials provided with the distribution.%0A * %0A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS %22AS IS%22%0A * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE%0A * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE%0A * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE%0A * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL%0A * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR%0A * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER%0A * CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,%0A * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE%0A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.%0A */%0A
 package 
@@ -1683,11 +1683,89 @@
 omId;%0A%09%7D
+%0A%0A%09@Override%0A%09public String toString() %7B%0A%09%09return Integer.toString(atomId);%0A%09%7D
 %0A%7D%0A

Implement toString() in AtomId.