All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface aioli.vtp.Constraint

public interface Constraint
extends Cloneable
Defines the notion of constraint used with metavariables.

Method Index

o clone()
o toString()
Returns a String.
o verify(Tree)
Checks if the constraint is verified.

Methods

o verify 
 public abstract boolean verify(Tree tree)
Checks if the constraint is verified.

Parameters:
tree - The tree we want to check the constraint on.
Returns:
true if the constraint is verified, false otherwise.
o toString 
 public abstract String toString()
Returns a String.

Overrides:
toString in class Object
o clone 
 public abstract Object clone()
Overrides:
clone in class Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index