Class VectorTools

java.lang.Object
org.tweetyproject.commons.util.VectorTools

public class VectorTools extends Object
This class contains some auxiliary methods for working with vectors.
Author:
Matthias Thimm