Java Code Examples for kodkod.ast.visitor.VoidVisitor#visit()

The following examples show how to use kodkod.ast.visitor.VoidVisitor#visit() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: IntConstant.java    From kodkod with MIT License 4 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.IntExpression#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}
Example 2
Source File: IfExpression.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}
Example 3
Source File: NotFormula.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 4
Source File: RelationPredicate.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}
Example 5
Source File: RelationPredicate.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 6
Source File: BinaryIntExpression.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.IntExpression#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 7
Source File: QuantifiedFormula.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 8
Source File: ComparisonFormula.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 9
Source File: IntToExprCast.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}
Example 10
Source File: ConstantExpression.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}
Example 11
Source File: BinaryFormula.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 12
Source File: IfIntExpression.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.IntExpression#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 13
Source File: ProjectExpression.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 14
Source File: ProjectExpression.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);	
}
Example 15
Source File: Decl.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 16
Source File: NaryExpression.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 17
Source File: ComparisonFormula.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 18
Source File: Relation.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 19
Source File: ConstantExpression.java    From org.alloytools.alloy with Apache License 2.0 2 votes vote down vote up 
/**
 * {@inheritDoc}
 *
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
@Override
public void accept(VoidVisitor visitor) {
    visitor.visit(this);
}
Example 20
Source File: BinaryExpression.java    From kodkod with MIT License 2 votes vote down vote up 
/**
 * {@inheritDoc}
 * @see kodkod.ast.Node#accept(kodkod.ast.visitor.VoidVisitor)
 */
public void accept(VoidVisitor visitor) {
	visitor.visit(this);
}