Newer
Older
RDLProofSystem / src / main / java / Main.java
@Sakoda2269 Sakoda2269 5 days ago 802 bytes test commit
import java.util.HashMap;
import java.util.Map;

import constants.Types;
import models.algebra.Constant;
import models.algebra.Expression;
import models.algebra.Type;
import models.algebra.Variable;

public class Main {

	static Type INT = Types.typeInt;

	public static void main(String[] args) {
		//
		sandbox();
	}
	
	
	static void sandbox() {
		Expression tmp = utils.ExpressionUitls.parse("x");
		System.out.println(tmp);
		tmp = utils.ExpressionUitls.parse("(x + 5) * 3");
		Map<Variable, Integer> nums = new HashMap<>();
		int a = utils.ExpressionUitls.getCoefficientAndConstantsFromExpression(tmp, nums, 1);
		System.out.println(tmp);
		System.out.println(a);
		System.out.println(nums);
		
		int b = utils.ExpressionUitls.getConstantValue(new  Constant("3"));
		System.out.println(b);
	}
	
}