fr.inria.edelweiss.rif.ast.PositionalFunction Maven / Gradle / Ivy

Go to download
package fr.inria.edelweiss.rif.ast;

import java.util.Vector;

public class PositionalFunction extends Function {
	
	private Vector arguments = new Vector() ;
	
	private PositionalFunction(boolean external, Const ident) {
		super(external, ident) ;
	}
	
	private PositionalFunction(Const ident) {
		super(ident) ;
	}
	
	private PositionalFunction(boolean external, Const ident, Vector args) {
		super(external, ident) ;
		this.arguments = args ;
	}
	
	public static PositionalFunction create(Const ident) {
		return new PositionalFunction(ident) ;
	}
	
	public static PositionalFunction create(boolean external, Const ident) {
		return new PositionalFunction(external, ident) ;
	}
	
	public static PositionalFunction create(boolean external, Const ident, Vector args) {
		return new PositionalFunction(external, ident, args) ;
	}
	
	public void addArgument(Term arg) {
		this.arguments.add(arg) ;
	}
	
}